Base and step now stop at flags.bmc_max.
Merge pull request #160 from AdrienChampion/feature_k-induction-max-k

Base and step now stop at flags.bmc_max.
Deactivate slicing to COI in interpreter
Merge pull request #161 from chsticksel/develop

Deactivate slicing to COI in interpreter
Numeral constants can be negative in Lustre input

Numerals are always positive, negative numerals have a unary minus
applied to their absolute values. Allow negative numerals as constants
in Lustre input.
Merge pull request #163 from chsticksel/develop

Numeral constants can be negative in Lustre input
Use shadow inputs as cur. state inputs in condacts
Merge pull request #166 from chsticksel/develop

Use shadow inputs as cur. state inputs in condacts
Output runtime when property proved or disproved
Merge pull request #167 from chsticksel/develop

Output runtime when property proved or disproved