Only apply widenings.
Standard two pass widenings/narrowings iteration.
Single pass with a warrowing.