renamed SIP message names to include appropriate message action like SIPInvite, SIPBye, SIPRegister, SIP200 etc.

No commit message

MW_GEN_05: "with"-statement deleted, "unprotected" remove as irrelevant, response instead of 200_response

"IUT has_received_MESSAGE from AS1 via ISC"

changed requires so that either user could be used to set up the call. TAR_x TPs do not get covered because of removed incomplete-complete reqs.

calling statuses for connections corrected and removed 'is_remote' boolean. TAR_x TPs do not get covered.

removed the unnecessary remote-variable, corrected connection statuses for calling cases. TP coverage still the same.

state machine was fixed for receiving gm and mw messages; now most TP get covered except for INI_03- and TAR_xs.

removed blocked transitions from model, added new parameter for connection to inform wether the connection is behind Mw or not. Still several TPs fail to get generated.

No commit message

fixed registration for local and visiting UEs, contains TPs for target refresh (do not work) and emergency calls (also doesn't work). TPs GEN_01-03 and 06 broken.

Very few changes in 1GM and Defs,
plenty modified in 1Gm1Mw