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