updated helper functions
Corrected test_AntennaCut_WhenTerminalDetectsSatelliteAntennaCut_AntennaCutStartMessageSent (wrong name of message)