createChild
fun ClassicExecutionContext.createChild(inferProcedureFromGoals: Boolean = true): ClassicExecutionContext
Pushes a new child frame onto the execution-context stack for the current goal, becoming its own ClassicExecutionContext.goals.