interestingVariables

The Vars whose bindings must be preserved when substitution is filtered/restricted while moving between contexts (e.g. when returning from a sub-goal to its parent): those of query at the root, propagated down together with the variables of whatever is left in goals at each step.