What is the logic behind gen_dominates/Model::post_dominates_constraint i.e. why do we force dominating copies to be active if dominated copies are? I couldn't find explanation of this constraint in Mikael's thesis.