let mloc_of_path p =
      debug "[mloc_of_path] %a" pp_path p;
      List.fold_left
        (fun loc offset ->
          match offset with
            | Ofield f -> M.field loc f
            | Oindex(k,te) -> M.index loc te k
        ) (mcvar p.p_mem p.p_root p.p_cvar) p.p_off