let pp_data fmt = function
    | Data d -> Format.fprintf fmt "Data=%a" F.pp_term d
    | Loc l -> Format.fprintf fmt "Loc=%a" M.pp_loc l
    | Value v -> Format.fprintf fmt "Value=%a" M.pp_value v
    | _ -> Format.fprintf fmt "Blob"