@Override
    public void visitInstruction(Instruction instruction, int offset, int nextOffset) {
      merge(offset, readVariables[Math.min(nextOffset, myFlow.getSize())], readVariables);
    }
@Override
    public void visitInstruction(Instruction instruction, int offset, int nextOffset)