Iterative LPO is more powerful than pure LPO

The strategy `lpo -quasi -direct` is not sufficient.