Added support to enumeration Translation on the State2ConstraintInvariantRule