ap.proof.theoryPlugins
Update the task with possibly new information from the goal.
Update the task with possibly new information from the goal. Currently, this does not modify the theory procedure.