debugging constraint