Dummy solver now always returns the empty item tree. Renamed elimination ordering heuristic option.