/*
   * Remove all covenants from this solver
   *
   * call-seq:
   *  solver.covenants_clear! -> void
   *
   */
  void covenants_clear()