let inter a b = match a,b with
    | Top,Top -> Top
    | Value v, Top | TopValue v -> Value v
    | Value v, Value v' -> Value (Stmt.Set.inter v v')