Domset greedy search order would be nice