update domset heuristic