Felix Winter

Thank you Guido for the feedback. I now split the actual modelling interface and decompositions into separate files. Furthermore, I added several assertions including the mentioned u1=u2, which is not...

@zayenz Thank you for the interesting comments! Since you pointed out some applications, I thought about this again, and actually the most general decomposition for the ED >= case also...