Pruning of trivial invariants in lsd, deactivated subsystem candidate term lifting.
Merge remote-tracking branch 'origin/invGen-no-explicit' into invGen_bdd