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