public void verify() throws VerifyException {
		try {
			doVerify();
		} catch (VerifyException ex) {
			for (Iterator i = bi.getInstructions().iterator(); i.hasNext();) {
				Instruction instr = (Instruction) i.next();
				VerifyInfo info = (VerifyInfo) instr.getTmpInfo();
				if (info != null)
					GlobalOptions.err.println(info.toString());
				GlobalOptions.err.println(instr.getDescription());

				instr.setTmpInfo(null);
			}
			throw ex;
		}
	}