Cleanup dominance computation.
Fixed indentation.
Cleanup using C99.
When producing an endless loop, keep it alive.

This fixes opt/doms_segfault2.c.