let pp_data fmt d = match d with
    | E3addr v -> Format.fprintf fmt "@@%s" v.Cil_types.lv_name
    | E3type t -> Format.fprintf fmt "%a" !Ast_printer.d_logic_type t