if (parameterIndex < codeAttribute.u2maxLocals)
{
Value producer =
partialEvaluator.getVariablesBefore(offset).getProducerValue(parameterIndex);
if (producer != null &&
producer.instructionOffsetValue().contains(PartialEvaluator.AT_METHOD_ENTRY))
{
// Mark the variable.
markParameterUsed(method, parameterIndex);
// Account for Category 2 instructions, which take up two entries.