@Override public int executeIntegerFixnum(RubyBasicObject receiver) throws UnexpectedResultException { if (hasIntegerFixnum && receiver.getRubyClass() == expectedClass && unmodifiedAssumption.isValid()) { return integerFixnumValue; } else { return next.executeIntegerFixnum(receiver); } }