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