Further disclaimer
Removed definition of solveGoalRecursive() from Solver interface.