first steps
Merge https://github.com/maria-msu-seclab/mpOTR_verif

Using dh.maude was experimental. This is an exapmple provided by Maude-NPA
team, so we don't need it here
first steps