/*
   * call-seq:
   *  solver.do_split_provides = true
   *
   */
  void set_do_split_provides( int bflag )