let is_imprecise v =
    match v with
      | Top _ -> true
      | _ -> false