let
mem v =
function
|
Top
->
true
|
Value
d
->
Stmt
.
Hptset
.mem v d