interestingVariablesAreNotObliterated

Runs interestingVariablesAreProperlyTracked's scenario with it.unibo.tuprolog.solve.flags.TrackVariables off, and checks that the query's own variables (A, B, C) are still observed by the inspector at every call site regardless — only the intermediate variable D (introduced by callsWithVariablesAndInspectorTheory's own rule bodies) is affected by the flag.