replaceWithChildAppendingRulesAndChoicePoints
fun PrologExecutionContext.replaceWithChildAppendingRulesAndChoicePoints(rules: Cursor<out Rule>, currentGoal: Struct = this.currentGoal!!.castToStruct()): PrologExecutionContext
Combines replaceWithChild and appendRulesAndChoicePoints: how StateRuleSelection moves into a last-call-optimized (tail) rule call.