removed debug output for constraint generation