kind2-mc/kind2 — pull request #163 by chsticksel (2014-10-28 23:02:31+00:00)
Title: 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.