void SimpleThresholdPolicy::set_carry_if_necessary(InvocationCounter *counter) {

  {- -------------------------------------------
  (1) もし未だキャリービットが立っておらず, かつ
      カウンタ値が InvocationCounter::count_limit の半分を超えていれば, 
      キャリービットを立てる.
      ---------------------------------------- -}

      if (!counter->carry() && counter->count() > InvocationCounter::count_limit / 2) {
        counter->set_carry_flag();
      }
    }