let get_user_variable x =
    try Hdef.find user_variables x
    with Not_found ->
      let d = UserVariable.get_definition x in
      let t = F.e_call d.d_name [] in
      Hdef.add user_variables x t ; t