Explicit unrolling.
Bugfix step not declaring vars.
Pruning of trivial invariants in lsd, deactivated subsystem candidate term lifting.
Merge remote-tracking branch 'origin/invGen-no-explicit' into invGen-explicit-unrolling
Explicit unrolling for backward k-induction.
Backward k-induction by default.
Deactivating sub candidate term lifting.
Deactivating sub candidate term lifting.
Deactivating sub candidate term lifting.
Merge pull request #186 from chsticksel/inv-gen

Optimize translation to internal transition relation
Merge remote-tracking branch 'upstream/inv-gen' into invGen-no-explicit
Merge remote-tracking branch 'upstream/inv-gen' into invGen-no-explicit
Merge pull request #187 from chsticksel/inv-gen

Annotate properties with source, better slicing
Merge remote-tracking branch 'upstream/inv-gen' into invGen-no-explicit
Merge remote-tracking branch 'upstream/inv-gen' into invGen-no-explicit
Deactivated trivial invariant pruning.
Options for candidate lifting and trivial invariant pruning.
Backward k-induction deactivated by default.
Merge remote-tracking branch 'upstream/inv-gen' into invGen-explicit-unrolling
Merge remote-tracking branch 'origin/invGen-no-explicit' into invGen-explicit-unrolling