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