Working on domset heuristic