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