Remove most options
Value ordering heuristic