We changed the way constraints are stored, and tested it.