Optionally do whole-program assumption; (OBEY)
[libfirm] / ir / ana / ANALYSING_ALGORITHMS