ap.proof.goal
Update the task with possibly new information from the goal.
Update the task with possibly new information from the goal. If new facts can be derived, these are put into factCollector
factCollector