Add simple domset heuristic