Verify new result mode
[libfirm] / ir / adt / ABSTRACT_DATATYPES