Checking dynamic constraints, added/removed some