Bug fix. State2Constraint invariant was not considering if a state invariant was a theorem