Comment by Tomte

Contracts and assertions are definitely not "just like UML".