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