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