Add coverage control, legality constraints on iteration
Harder(?) instances for domset