PFI_KIF_REF_RULE
case PFI_KIF_REF_RULE:
case PFI_KIF_REF_RULE:
pfi_kif_ref(dyn->pfid_kif, PFI_KIF_REF_RULE);
pfi_kif_unref(dyn->pfid_kif, PFI_KIF_REF_RULE);
pfi_kif_unref(aw->p.dyn->pfid_kif, PFI_KIF_REF_RULE);
pfi_kif_ref(p, PFI_KIF_REF_RULE);
pfi_kif_unref(p, PFI_KIF_REF_RULE);
pfi_kif_unref(p, PFI_KIF_REF_RULE);
pfi_kif_ref(rule->kif, PFI_KIF_REF_RULE);
pfi_kif_ref(newrule->kif, PFI_KIF_REF_RULE);
pfi_kif_ref(pa->kif, PFI_KIF_REF_RULE);
pfi_kif_unref(pa->kif, PFI_KIF_REF_RULE);
pfi_kif_ref(newpa->kif, PFI_KIF_REF_RULE);
pfi_kif_unref(newpa->kif, PFI_KIF_REF_RULE);
pfi_kif_unref(oldpa->kif, PFI_KIF_REF_RULE);
pfi_kif_unref(empty_pool_pa->kif, PFI_KIF_REF_RULE);
pfi_kif_unref(rule->kif, PFI_KIF_REF_RULE);