private static @NotNull ControlFlowContext createContext(@NotNull ControlFlowOptions options,
                                                           @NotNull ControlFlowPolicy policy,
                                                           @NotNull ControlFlow controlFlow,
                                                           final long modificationCount) {
    return new ControlFlowContext(options, policy, modificationCount, controlFlow);
  }
private static @NotNull ControlFlowContext createContext(@NotNull ControlFlowOptions options,
                                                           @NotNull ControlFlowPolicy policy,
                                                           @NotNull ControlFlow controlFlow,
                                                           final long modificationCount)