added verify operation for Min and Max op's
[libfirm] / ir / ana / ANALYSING_ALGORITHMS