interesting
Answer the list of L2SplitConditions which, if true, would allow better code to be regenerated. The L2Optimizer checks if any of these are true on edges leading to ancestor phis, and if so, it may perform code splitting to avoid erasing that information prematurely through a control flow merge.