/** helper code for the decorators */
/** g-cost dominance decorator */
/** provides various search statistics */
/** implements limited discrepancy search based algorithms */
/** generic pruning mechanism */
/** generic dual bound report */
/** guide with bound mixing
estimates the average value of the bound and the guide, and sums them, taking into account
the distance from the root.
*/