let get_addr_exp e = match e with
    | Fol.Tdata (E2load (m , p)) -> m, p
    | _ ->
         let str = Pretty_utils.sfprintf "%a" pp_exp2 e in
        abort ("get_addr_exp from exp not load: "^str)