Fixes transitively introduced constraints

See ConstraintsTest.scala:128