version(CONTRACTS) for contracts?

[BCS]

I think what you are trying for is what class invariants do.

http://www.digitalmars.com/d/class.html#invariants

== Quote from Bill Baxter (dnewsgroup at billbaxter.com)'s article
> Is there a version statement that corresponds to whether or not
> contracts are enabled or not?
> I'd like to do something like
>    in { _check_data_structure_integrity() }
> for a bunch of my methods in my class, then something like
>     version(Contracts) {
>        _check_data_structure_integrity() {
>           // do a bunch of complicated stuff here
>           // and assert if anything's messed up.
>        }
>     }
> --bb