Fix contract pipeline diagram
Little fix for model service
Move isolation axiom
Cyrilic symbols fix for EU1 on XeLaTeX
Add contract interface declaration