Symbol: pf_keth_rule_to_nveth_rule