Local Consistency in Junction Graphs for Constraint-Based Inference