let combinePredecessors (_stm:stmt) ~(old:t) (lvh:t) = if time "lvh_equals" (lvh_equals old) lvh then None else Some(time "lvh_combine" (lvh_combine old) lvh)