Make set_cover() test more comprehensive