appendPrimitivesAndChoicePoints
fun ClassicExecutionContext.appendPrimitivesAndChoicePoints(primitiveExecutions: Cursor<out Solve.Response>): ClassicExecutionContext
Solve.Response analogue of appendRulesAndChoicePoints, recording a it.unibo.tuprolog.solve.classic.ChoicePointContext.Primitives instead.