Tests for control flow simplifications.
