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