fixed bug in togologic search. graph[name] = list overwrites constraint variables if there are more than one sub-predicate to constrain this bound var.