Pruning of trivial invariants in lsd, deactivated subsystem candidate term lifting.