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