 The Maven (Scrabble) program has an innovation that improves the robustness of B* when evaluation errors are possible.If a search terminates due to separation then Maven restarts the search after widening all of the evaluation intervals by a small amount.This policy progressively widens the tree, eventually erasing all errors.