replaceWithChildAppendingRulesAndChoicePoints
fun ClassicExecutionContext.replaceWithChildAppendingRulesAndChoicePoints(rules: Cursor<out Rule>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext
Combines replaceWithChild and appendRulesAndChoicePoints: how StateRuleSelection moves into a last-call-optimized (tail) rule call.