Invariant generation, one state and two state

One state is activated by INVGENOS while two state is INVGEN.
Use "--invgen_atoms_only" to deactivate subterm extraction ;
use "--invgen_top_only" to deactivate subsystem invariant discovery ;
use "--invgen_no_trans_subterms" to deactivate trans subterm extraction.