added edge verification routines
[libfirm] / ir / ir / INTERMEDIATE_REPRESENTATION