scn2msc bugs corrected and updated if files
Corrected bug on the handling of _call, _return and _forward in SCN2MSC, added files for the verif of ERGO case study
Corrected bug on the handling of _call, _return and _forward in SCN2MSC, added files for the verif of ERGO case study