reflect on this function

[Vlad Levenfeld via Digitalmars-d-learn]

I'd like to do something like this:

   @reflexive @transitive bool relation (T)(T a, T b)
   out (result) {
     mixin(property_verification!result);
   }
   body {
     ...
   }

which becomes

   out (result) {
      // generated from @reflexive
     assert (result == skip_contract!relation (b,a));

     // generated from @transitive
     static typeof(result) c;
     if (result)
       assert (skip_contract!relation (b,c) == 
skip_contract!relation (a,c));
     c = b;
   }

or something like that. I don't see a way to get exactly this, 
but does anyone have any thoughts on something similar?