used new verify_node operation
[libfirm] / ir / tr / TYPE_REPRESENTATION