/*
   * Number of Covenants
   *
   * call-seq:
   *  solver.covenants_count -> int
   *
   */
  int covenants_count()