remove unused verifyConstraints function from tests