PL1

IvToPromelaTranslator, fix to support synchronous interfaces in environment

Juan Font Alonsorequested to merge
feature-n7s-tmcc#475-fixes into master

Merge request reports

Provided with ❤️ by esait | 📜 Terms of Service | 📊 Live metrics | 📝 Our Documentation | 💬 Need assistance? esait.service.desk@esa.int