don't let strings be used as values for bypass constraints
Fix another bug by reification, optimize and simplify loop detector
Fix the mighty LAST leaking constraint bug.