various bugfixes for the unreachable loop problem
[libfirm] / ir / ana / ANALYSING_ALGORITHMS