A[] not ( S1_Safe_Testautomat.S1_Safe_WAIT_1 and S2_Safe_Testautomat.S2_Safe_A6_A )