Intership (M2): Contract theory based on differential-algebraic…

Intership (M2): Contract theory based on differential-algebraic…