constraints-0.13: Constraint manipulation