rule_exists
bool *rule_exists)
if (rule_exists && !list_empty(rule_head))
*rule_exists = true;
bool *rule_exists);
rule_exists(ops, frh, tb, rule)) {