let equal a b = match a,b with
    | InitInit -> true
    | ToReturn v, ToReturn v' ->  S.equal v v'
    | ToInfinity v, ToInfinity v' ->  S.equal v v'
    | _ -> false