- inside irg_verify() call irn_verify_irg(), not irn_verify() (which is disabled...