Explicit unrolling.
Bugfix step not declaring vars.
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 remote-tracking branch 'upstream/inv-gen' into invGen-explicit-unrolling
Merge remote-tracking branch 'origin/invGen-no-explicit' into invGen-explicit-unrolling
Merge remote-tracking branch 'upstream/inv-gen' into invGen-explicit-unrolling
Merge remote-tracking branch 'origin/invGen-no-explicit' into invGen-explicit-unrolling
Merge remote-tracking branch 'origin/invGen-no-explicit' into invGen-explicit-unrolling
Merge remote-tracking branch 'origin/invGen-no-explicit' into invGen-explicit-unrolling
Added QF_LIRA, and more logics for command line options.
Removing useless tilda emacs file.
Variable declaration in trans sys.
Merge pull request #191 from AdrienChampion/invGen-explicit-unrolling

State variables as constant function symbols + improved/fixed flags