let
add v d =
match
d
with
|
Top
->
Top
|
Value
d
->
Value
(
Stmt
.
Hptset
.add v d)