Revert "Merge branch 'Upstream/master'"

This reverts commit 80b7146ccb977e660e8654effc85c5a55eb7009b, reversing
changes made to 6f8edf0600a1bff8d47a193fc108a8b166bf0dea.
Merge branch 'Upstream/master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrackDescription/TrackConditions.efs_ns (reverted from commit 80b7146ccb977e660e8654effc85c5a55eb7009b)
Added the ENCLOSING predefined designator
Implementation of changes of Safe Radio Connection status
Cherry-pick2
Cherry-pick3
Cherry-pick4
Bug fix : procedure call should be applied on their structure instance when the procedure belongs to a structure.
Bug fix (sorry svetlana)
EA_MODEL Implementation of 3.12.1.2
Merge branch 'Upstream/master'