replaceWithChildAppendingRules
fun ConcurrentExecutionContext.replaceWithChildAppendingRules(rule: Rule, inferProcedureFromGoals: Boolean = true): ConcurrentExecutionContext
Same as replaceWithChild, additionally attaching rule as the clause StateRuleExecution will unify against.