fixed bugs in parameter binding, helping path query identify null refutations w.r.t pt constraints