// Check that if a repetition class has two classes defined on the right hand side,
// both classes are identical.
*operation* int check_repetition()
  *init* (@ 1 @)

  *traverse* *from*      Cd_graph
             *through*   ->Kernel,repeated,*
             *to-stop*   Term

  *carry* *in* Term* t = (@ this->get_nonempty() ? 
                            this->get_nonempty() : NULL @)
          *along* *from* Kernel
                  *to*   Term

  *wrapper* Cd_graph
    *prefix* (@ cout << endl
                     << "Checking that two class names on the right hand side"
                     << endl 
                     << "\tof every repetition production are identical ..."
                     << endl;
              @)

  *wrapper* Term
    *prefix* (@ if (t != NULL) {
                  if (!this->g_equal(t)) {
                    cout << "sem-check: error: on line "
                         << this->find_line_number() 
                         << " two class instances are not identical."
                         << endl;
                    return_val = 0;
                  }
                }
              @)