fixed post-dominance construction for endless loops (hopefully).
[libfirm] / ir / ana / ANALYSING_ALGORITHMS