This will try and list all possible "requirement" cases that can happen in a model comparison. For each use case, we will consider
two models, "left" and "right".

