private boolean isWriteToReadVar(Instruction instruction) {
        return instruction instanceof WriteVariableInstruction &&
               readVars.contains(((WriteVariableInstruction)instruction).variable);
      }
private boolean isWriteToReadVar(Instruction instruction)