Model checking constants
It should be possible for the model checker to identify which variables
are constants.
For example if I check G (a < b) and b is a constant, in the
counterexamples that CProver provide, this should be taken into account.
(from redmine: issue id 1607, created on 2013-08-12, closed on 2017-11-30)