daikon.inv

Class GuardingImplication