/*
   * Shortcut for +covenants_count == 0+
   *
   * call-seq:
   *  solver.covenants_empty? -> bool
   *
   */
  int covenants_empty()