added verify operation for Min and Max op's
[libfirm] / ir / adt / ABSTRACT_DATATYPES