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