private void after(ShortPrimitiveStatement statement, Scope scope) { short valueOf = statement.getValue(); VariableReference varRef = statement.getReturnValue(); String varRefName = varRef.getName(); IntegerVariable integerVariable = buildIntegerVariable(varRefName, valueOf, Short.MIN_VALUE, Short.MAX_VALUE); symb_expressions.put(varRefName, integerVariable); Short short_instance; try { short_instance = (Short) varRef.getObject(scope); } catch (CodeUnderTestException e) { throw new EvosuiteError(e); } ReferenceConstant shortRef = newShortReference(short_instance, integerVariable); symb_references.put(varRefName, shortRef); }