@Override
      public void visitWriteVariableInstruction(WriteVariableInstruction instruction, int offset, int nextOffset) {
        if (psiManager.areElementsEquivalent(instruction.variable, variable)) {
          maybeUnassigned[offset] = false;
        }
        else {
          visitInstruction(instruction, offset, nextOffset);
        }
      }
@Override
      public void visitWriteVariableInstruction(WriteVariableInstruction instruction, int offset, int nextOffset)