Refining a CoExistence with a Choice if that leads to better support. #49
Description
As we were discussing lately, before adding a CoExistence, we have to double-check whether a Choice might be added instead with greater support. Most of the code should be there, and it should just be a matter of re-coding.