Sema: Simplify away one-iteration loops.

No functionality change.