Now FORTS can parse a constraint.