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