daikon.inv

Class Invariant