Constraint variable modified by foldl