Symbol: pf_nveth_rule_to_keth_rule