Provisional workarounds on mutation compiler

Bastien Sultanrequested to merge
AMULETPatches into master

Provisional workarounds on mutation compiler for handling transitions with several actions and signals with several parameters

Merge request reports