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