Remove clause argument.
Add starting-subgoal dynamic variable and remove subgoal arguments from some functions.