createChildAppendingPrimitivesAndChoicePoints
fun ClassicExecutionContext.createChildAppendingPrimitivesAndChoicePoints(primitiveExecutions: Cursor<out Solve.Response>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext
Combines createChild and appendPrimitivesAndChoicePoints: how StatePrimitiveSelection moves into a primitive call.