let create (config: config) (statistic: statistic) (state: state) (bound: bound) : jumping =
  {
    config = config;
    state = state;
    bound = bound;
    statistic = statistic;
    guiding_paths = [];
    split_counter = Counter.create ();
  }