Calling  with a constraint as an argument constraints the value (unless literal)