let combinePredecessors (_stm:stmt) ~(old:t) ((_, _s, iosh):t) =
      match old with (_, os, oiosh) -> begin
        if time "iosh_equals" (iosh_equals oiosh) iosh
        then None
        else
          Some((), os, time "iosh_combine" (iosh_combine oiosh) iosh)
      end