let prefix_name name =
match name with
| "apply"
| "attack_state"
| "attack_states"
| "contains"
| "crypt"
| "dummy_agent"
| "dummy_bool"
| "dummy_chnl"
| "dummy_chnl_dy"
| "dummy_chnl_ota"
| "dummy_hash"
| "dummy_msg"
| "dummy_nat"
| "dummy_nonce"
| "dummy_pk"
| "dummy_set"
| "dummy_sk"
| "equal"
| "equations"
| "function"
| "initial_state"
| "inits"
| "intruder"
| "leq"
| "pair"
| "properties"
| "property"
| "rules"
| "scrypt"
| "section"
| "step"
| "types" -> (identifier_prefix^name)
| _ -> name