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)