Split SSA into its own pass.
Trim obvious impossible flow edges.