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