Traverse Constraint Graph implementation