CONDITION_L  (CN.cmd_to_G2 = cmd_on & (SC.G2.Gen_StuckOff.mode != NOMINAL | SC.G2.Gen_StuckOff.event = stuckAt_Off#failure))
CONDITION_R !(CN.cmd_to_G2 = cmd_on & (SC.G2.Gen_StuckOff.mode != NOMINAL | SC.G2.Gen_StuckOff.event = stuckAt_Off#failure))