let valid _mem = function
      | D.Aloc(_,loc) -> Hlib.valid_pointer (top_loc_term loc)
      | D.Arange(_,loc,rg) -> Hlib.valid_range (top_loc_term loc) (D.interval rg)