Every constraint can be enforced on a node of the tree .
Each constraint creates a clique on its variables on the primal graph and .
Every constraint can be enforced on a node of the tree because each constraint creates a clique on its variables on the primal graph and .