Efficiently intertwining widening and narrowing