extended edge verifier
[libfirm] / ir / tr / TYPE_REPRESENTATION