public void visitINVOKEVIRTUAL(INVOKEVIRTUAL obj) { pushReturnType(obj); }
public void visitINVOKEVIRTUAL(INVOKEVIRTUAL obj) { consumeStack(obj); pushReturnType(obj); }
	public void visitINVOKEVIRTUAL(INVOKEVIRTUAL obj) { pushReturnType(obj); }