throw new IllegalStateException("missing visitor method for " + ins);
throw new InvalidBytecodeException("missing visitor method for " + ins);
	public void modelNormalInstruction(Instruction ins, int numWordsConsumed, int numWordsProduced) {		if (VERIFY_INTEGRITY) {			if (numWordsProduced > 0)				throw new IllegalStateException("missing visitor method for " + ins);		}		super.modelNormalInstruction(ins, numWordsConsumed, numWordsProduced);	}