appendPrimitivesAndChoicePoints
fun PrologExecutionContext.appendPrimitivesAndChoicePoints(primitiveExecutions: Cursor<out Solve.Response>): PrologExecutionContext
Solve.Response analogue of appendRulesAndChoicePoints, recording a it.unibo.tuprolog.argumentation.core.engine.ChoicePointContext.Primitives instead.