used new set_irg_doms_inconsistent() to invalidate dom and postdom
[libfirm] / ir / ana / ANALYSING_ALGORITHMS