/*
   * Iterate over each Covenant of the Solver.
   *
   * call-seq:
   *  solver.each_covenant { |covenant| ... }
   *
   */
  void each_covenant()