Invgen uses invariants in lsd at all levels.
Invgen uses invariants in lsd at all levels.
InvGen uses invariants received by events.
Optimization in transSys and invGenGraph.
Heuristic candidate term generation for int variables.
Check termination in base step and invgen.
Check termination in base step and invgen.