Allows for inside-function short-circuiting of constraints