if (isVariableNecessaryAfterAny(0, codeLength, variableIndex)) isVariableNecessaryAfterAny(producerOffsets, variableIndex) && simpleProducerOffsets.contains(initializationOffset))
if (isVariableNecessaryAfterAny(0, codeLength, variableIndex)) isVariableNecessaryAfterAny(producerOffsets, variableIndex) && simpleProducerOffsets.contains(initializationOffset))