debugging the constraint table