semantic: Run CFG pass after the ExTyper pass.