let equal a b = match a,b with
    | Top,Top -> true
    | Value _v, Top | TopValue _v -> false
    | Value v, Value v' -> StmtSet.equal v v'