code: private boolean makeSatisfied( TestCaseDef testCase, VarTupleSet tuples, Tuple satisfyingTuple)
      {
      return
        // Compatible tuple found?
        testCase.addCompatible( satisfyingTuple) != null
  
        // Did this tuple create an infeasible combination?
        && !testCase.isInfeasible()
  
        // Can also we satisfy any new conditions?
        && makeSatisfied( testCase, tuples);
      }
docs: Starting with the given tuple, completes bindings to satisfy all current test case conditions,
  using additional selections from the given set of tuples if necessary.
  Returns true if and only if all conditions satisfied.