Simplify Solver interface, solveGoal() can avoid passing a GoalFrame
since all times (but one...) we specified new GoalFrame() as arg...