corrected error in constraint generation (intersection of bindings from child nodes)