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