public static boolean isInstructionReachable(final @NotNull ControlFlow flow, final int instructionOffset, final int startOffset) {
    return areInstructionsReachable(flow, new int[]{instructionOffset}, startOffset);
  }
public static boolean isInstructionReachable(final @NotNull ControlFlow flow, final int instructionOffset, final int startOffset)