fixed constraint solver bug. If there is no predicate to constrain a variable, but force enum is started.