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