Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_SetResetWait / SetResetWait.smt2 @ eb639349

History | View | Annotate | Download (160 KB)

1
(declare-datatypes () ((setresetwait_setresetwait__type POINTSetResetWait_SetResetWait POINT__TO__SETRESETWAIT_OFF_1 SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1 SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2 SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1 SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2 SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1 SETRESETWAIT_ON_IDL SETRESETWAIT_OFF_IDL SETRESETWAIT_WAIT_IDL)));
2

    
3
; SetResetWait_Off_en
4
(declare-var SetResetWait_Off_en.idSetResetWait_SetResetWait_1 Int)
5
(declare-var SetResetWait_Off_en.s_1 Real)
6
(declare-var SetResetWait_Off_en.isInner Bool)
7
(declare-var SetResetWait_Off_en.idSetResetWait_SetResetWait Int)
8
(declare-var SetResetWait_Off_en.s Real)
9
(declare-var SetResetWait_Off_en.s_2 Real)
10
(declare-rel SetResetWait_Off_en (Int Real Bool Int Real))
11
(rule (=> 
12
  (and (and (or (not (= (not SetResetWait_Off_en.isInner) true))
13
               (= SetResetWait_Off_en.s_2 3.))
14
            (or (not (= (not SetResetWait_Off_en.isInner) false))
15
               (= SetResetWait_Off_en.s_2 SetResetWait_Off_en.s_1))
16
       )
17
       (= SetResetWait_Off_en.s SetResetWait_Off_en.s_2)
18
       (= SetResetWait_Off_en.idSetResetWait_SetResetWait 1752)
19
       )
20
  (SetResetWait_Off_en SetResetWait_Off_en.idSetResetWait_SetResetWait_1 SetResetWait_Off_en.s_1 SetResetWait_Off_en.isInner SetResetWait_Off_en.idSetResetWait_SetResetWait SetResetWait_Off_en.s)
21
))
22

    
23
; SetResetWait_Off_ex
24
(declare-var SetResetWait_Off_ex.idSetResetWait_SetResetWait_1 Int)
25
(declare-var SetResetWait_Off_ex.isInner Bool)
26
(declare-var SetResetWait_Off_ex.idSetResetWait_SetResetWait Int)
27
(declare-var SetResetWait_Off_ex.idSetResetWait_SetResetWait_2 Int)
28
(declare-rel SetResetWait_Off_ex (Int Bool Int))
29
(rule (=> 
30
  (and (and (or (not (= (not SetResetWait_Off_ex.isInner) true))
31
               (= SetResetWait_Off_ex.idSetResetWait_SetResetWait_2 0))
32
            (or (not (= (not SetResetWait_Off_ex.isInner) false))
33
               (= SetResetWait_Off_ex.idSetResetWait_SetResetWait_2 SetResetWait_Off_ex.idSetResetWait_SetResetWait_1))
34
       )
35
       (= SetResetWait_Off_ex.idSetResetWait_SetResetWait SetResetWait_Off_ex.idSetResetWait_SetResetWait_1)
36
       )
37
  (SetResetWait_Off_ex SetResetWait_Off_ex.idSetResetWait_SetResetWait_1 SetResetWait_Off_ex.isInner SetResetWait_Off_ex.idSetResetWait_SetResetWait)
38
))
39

    
40
; SetResetWait_On_en
41
(declare-var SetResetWait_On_en.idSetResetWait_SetResetWait_1 Int)
42
(declare-var SetResetWait_On_en.s_1 Real)
43
(declare-var SetResetWait_On_en.isInner Bool)
44
(declare-var SetResetWait_On_en.idSetResetWait_SetResetWait Int)
45
(declare-var SetResetWait_On_en.s Real)
46
(declare-var SetResetWait_On_en.s_2 Real)
47
(declare-rel SetResetWait_On_en (Int Real Bool Int Real))
48
(rule (=> 
49
  (and (and (or (not (= (not SetResetWait_On_en.isInner) true))
50
               (= SetResetWait_On_en.s_2 1.))
51
            (or (not (= (not SetResetWait_On_en.isInner) false))
52
               (= SetResetWait_On_en.s_2 SetResetWait_On_en.s_1))
53
       )
54
       (= SetResetWait_On_en.s SetResetWait_On_en.s_2)
55
       (= SetResetWait_On_en.idSetResetWait_SetResetWait 1751)
56
       )
57
  (SetResetWait_On_en SetResetWait_On_en.idSetResetWait_SetResetWait_1 SetResetWait_On_en.s_1 SetResetWait_On_en.isInner SetResetWait_On_en.idSetResetWait_SetResetWait SetResetWait_On_en.s)
58
))
59

    
60
; SetResetWait_Wait_en
61
(declare-var SetResetWait_Wait_en.idSetResetWait_SetResetWait_1 Int)
62
(declare-var SetResetWait_Wait_en.s_1 Real)
63
(declare-var SetResetWait_Wait_en.isInner Bool)
64
(declare-var SetResetWait_Wait_en.idSetResetWait_SetResetWait Int)
65
(declare-var SetResetWait_Wait_en.s Real)
66
(declare-var SetResetWait_Wait_en.s_2 Real)
67
(declare-rel SetResetWait_Wait_en (Int Real Bool Int Real))
68
(rule (=> 
69
  (and (and (or (not (= (not SetResetWait_Wait_en.isInner) true))
70
               (= SetResetWait_Wait_en.s_2 2.))
71
            (or (not (= (not SetResetWait_Wait_en.isInner) false))
72
               (= SetResetWait_Wait_en.s_2 SetResetWait_Wait_en.s_1))
73
       )
74
       (= SetResetWait_Wait_en.s SetResetWait_Wait_en.s_2)
75
       (= SetResetWait_Wait_en.idSetResetWait_SetResetWait 1753)
76
       )
77
  (SetResetWait_Wait_en SetResetWait_Wait_en.idSetResetWait_SetResetWait_1 SetResetWait_Wait_en.s_1 SetResetWait_Wait_en.isInner SetResetWait_Wait_en.idSetResetWait_SetResetWait SetResetWait_Wait_en.s)
78
))
79

    
80
; SetResetWait_On_ex
81
(declare-var SetResetWait_On_ex.idSetResetWait_SetResetWait_1 Int)
82
(declare-var SetResetWait_On_ex.isInner Bool)
83
(declare-var SetResetWait_On_ex.idSetResetWait_SetResetWait Int)
84
(declare-var SetResetWait_On_ex.idSetResetWait_SetResetWait_2 Int)
85
(declare-rel SetResetWait_On_ex (Int Bool Int))
86
(rule (=> 
87
  (and (and (or (not (= (not SetResetWait_On_ex.isInner) true))
88
               (= SetResetWait_On_ex.idSetResetWait_SetResetWait_2 0))
89
            (or (not (= (not SetResetWait_On_ex.isInner) false))
90
               (= SetResetWait_On_ex.idSetResetWait_SetResetWait_2 SetResetWait_On_ex.idSetResetWait_SetResetWait_1))
91
       )
92
       (= SetResetWait_On_ex.idSetResetWait_SetResetWait SetResetWait_On_ex.idSetResetWait_SetResetWait_1)
93
       )
94
  (SetResetWait_On_ex SetResetWait_On_ex.idSetResetWait_SetResetWait_1 SetResetWait_On_ex.isInner SetResetWait_On_ex.idSetResetWait_SetResetWait)
95
))
96

    
97
; SetResetWait_Wait_ex
98
(declare-var SetResetWait_Wait_ex.idSetResetWait_SetResetWait_1 Int)
99
(declare-var SetResetWait_Wait_ex.isInner Bool)
100
(declare-var SetResetWait_Wait_ex.idSetResetWait_SetResetWait Int)
101
(declare-var SetResetWait_Wait_ex.idSetResetWait_SetResetWait_2 Int)
102
(declare-rel SetResetWait_Wait_ex (Int Bool Int))
103
(rule (=> 
104
  (and (and (or (not (= (not SetResetWait_Wait_ex.isInner) true))
105
               (= SetResetWait_Wait_ex.idSetResetWait_SetResetWait_2 0))
106
            (or (not (= (not SetResetWait_Wait_ex.isInner) false))
107
               (= SetResetWait_Wait_ex.idSetResetWait_SetResetWait_2 SetResetWait_Wait_ex.idSetResetWait_SetResetWait_1))
108
       )
109
       (= SetResetWait_Wait_ex.idSetResetWait_SetResetWait SetResetWait_Wait_ex.idSetResetWait_SetResetWait_1)
110
       )
111
  (SetResetWait_Wait_ex SetResetWait_Wait_ex.idSetResetWait_SetResetWait_1 SetResetWait_Wait_ex.isInner SetResetWait_Wait_ex.idSetResetWait_SetResetWait)
112
))
113

    
114
; setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until
115
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.idSetResetWait_SetResetWait_1 Int)
116
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.s_1 Real)
117
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.setresetwait_setresetwait__restart_in Bool)
118
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
119
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.idSetResetWait_SetResetWait_out Int)
120
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.s_out Real)
121
(declare-rel setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until (Int Real Bool setresetwait_setresetwait__type Int Real))
122
(rule (=> 
123
  (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.setresetwait_setresetwait__state_in POINTSetResetWait_SetResetWait)
124
       (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.setresetwait_setresetwait__restart_in false)
125
       (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.s_out setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.s_1)
126
       (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.idSetResetWait_SetResetWait_1)
127
       )
128
  (setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.idSetResetWait_SetResetWait_1 setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.s_1 setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.setresetwait_setresetwait__restart_in setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until.s_out)
129
))
130

    
131
; setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless
132
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_in Bool)
133
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
134
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.idSetResetWait_SetResetWait_1 Int)
135
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.Suspend Bool)
136
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.Reset Bool)
137
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.Set Bool)
138
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.Clear Bool)
139
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_act Bool)
140
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__type)
141
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_1 Bool)
142
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_2 Bool)
143
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_3 Bool)
144
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_4 Bool)
145
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_5 Bool)
146
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_6 Bool)
147
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_7 Bool)
148
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_8 Bool)
149
(declare-var setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_9 Bool)
150
(declare-rel setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless (Bool setresetwait_setresetwait__type Int Bool Bool Bool Bool Bool setresetwait_setresetwait__type))
151
(rule (=> 
152
  (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_9 (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.idSetResetWait_SetResetWait_1 1753))
153
       (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_8 (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.idSetResetWait_SetResetWait_1 1752))
154
       (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_7 (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.idSetResetWait_SetResetWait_1 1751))
155
       (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_6 (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.idSetResetWait_SetResetWait_1 1753) setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.Clear))
156
       (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_5 (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.idSetResetWait_SetResetWait_1 1752) setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.Suspend))
157
       (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_4 (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.idSetResetWait_SetResetWait_1 1752) setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.Set))
158
       (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_3 (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.idSetResetWait_SetResetWait_1 1751) setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.Reset))
159
       (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_2 (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.idSetResetWait_SetResetWait_1 1751) setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.Suspend))
160
       (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_1 (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.idSetResetWait_SetResetWait_1 0))
161
       (and (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_1 false))
162
               (and (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_2 false))
163
                       (and (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_3 false))
164
                               (and (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_4 false))
165
                                       (and (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_5 false))
166
                                               (and (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_6 false))
167
                                                       (and (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_7 false))
168
                                                               (and (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_8 false))
169
                                                                    (and 
170
                                                                    (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_9 false))
171
                                                                    (and 
172
                                                                    (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_in)
173
                                                                    (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_in)
174
                                                                    ))
175
                                                                    (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_9 true))
176
                                                                    (and 
177
                                                                    (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_act SETRESETWAIT_WAIT_IDL)
178
                                                                    (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_act true)
179
                                                                    ))
180
                                                                    ))
181
                                                                    (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_8 true))
182
                                                                    (and 
183
                                                                    (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_act SETRESETWAIT_OFF_IDL)
184
                                                                    (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_act true)
185
                                                                    ))
186
                                                               ))
187
                                                            (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_7 true))
188
                                                               (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_act SETRESETWAIT_ON_IDL)
189
                                                                    (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_act true)
190
                                                                    ))
191
                                                       ))
192
                                                    (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_6 true))
193
                                                       (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_act SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1)
194
                                                            (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_act true)
195
                                                            ))
196
                                               ))
197
                                            (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_5 true))
198
                                               (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_act SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2)
199
                                                    (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_act true)
200
                                                    ))
201
                                       ))
202
                                    (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_4 true))
203
                                       (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_act SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1)
204
                                            (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_act true)
205
                                            ))
206
                               ))
207
                            (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_3 true))
208
                               (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_act SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2)
209
                                    (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_act true)
210
                                    ))
211
                       ))
212
                    (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_2 true))
213
                       (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_act SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1)
214
                            (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_act true)
215
                            ))
216
               ))
217
            (or (not (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.__setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless_1 true))
218
               (and (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_act POINT__TO__SETRESETWAIT_OFF_1)
219
                    (= setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_act true)
220
                    ))
221
       )
222
       )
223
  (setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_in setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.idSetResetWait_SetResetWait_1 setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.Suspend setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.Reset setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.Set setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.Clear setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless.setresetwait_setresetwait__state_act)
224
))
225

    
226
; setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until
227
(declare-var setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_1 Int)
228
(declare-var setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.s_1 Real)
229
(declare-var setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.setresetwait_setresetwait__restart_in Bool)
230
(declare-var setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
231
(declare-var setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_out Int)
232
(declare-var setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.s_out Real)
233
(declare-var setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_2 Int)
234
(declare-var setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.s_2 Real)
235
(declare-rel setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until (Int Real Bool setresetwait_setresetwait__type Int Real))
236
(rule (=> 
237
  (and (= setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.setresetwait_setresetwait__state_in POINTSetResetWait_SetResetWait)
238
       (= setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.setresetwait_setresetwait__restart_in true)
239
       (SetResetWait_Off_en setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_1
240
                            setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.s_1
241
                            false
242
                            setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_2
243
                            setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.s_2)
244
       (= setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.s_out setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.s_2)
245
       (= setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_2)
246
       )
247
  (setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_1 setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.s_1 setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.setresetwait_setresetwait__restart_in setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until.s_out)
248
))
249

    
250
; setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless
251
(declare-var setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__restart_in Bool)
252
(declare-var setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
253
(declare-var setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__restart_act Bool)
254
(declare-var setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__type)
255
(declare-rel setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless (Bool setresetwait_setresetwait__type Bool setresetwait_setresetwait__type))
256
(rule (=> 
257
  (and (= setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__state_in)
258
       (= setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__restart_in)
259
       )
260
  (setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__restart_in setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__state_act)
261
))
262

    
263
; setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until
264
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.idSetResetWait_SetResetWait_1 Int)
265
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.s_1 Real)
266
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.setresetwait_setresetwait__restart_in Bool)
267
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
268
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.idSetResetWait_SetResetWait_out Int)
269
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.s_out Real)
270
(declare-rel setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until (Int Real Bool setresetwait_setresetwait__type Int Real))
271
(rule (=> 
272
  (and (= setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.setresetwait_setresetwait__state_in POINTSetResetWait_SetResetWait)
273
       (= setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.setresetwait_setresetwait__restart_in true)
274
       (= setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.s_out setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.s_1)
275
       (= setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.idSetResetWait_SetResetWait_1)
276
       )
277
  (setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.idSetResetWait_SetResetWait_1 setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.s_1 setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until.s_out)
278
))
279

    
280
; setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless
281
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless.setresetwait_setresetwait__restart_in Bool)
282
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
283
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless.setresetwait_setresetwait__restart_act Bool)
284
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__type)
285
(declare-rel setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless (Bool setresetwait_setresetwait__type Bool setresetwait_setresetwait__type))
286
(rule (=> 
287
  (and (= setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless.setresetwait_setresetwait__state_in)
288
       (= setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless.setresetwait_setresetwait__restart_in)
289
       )
290
  (setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless.setresetwait_setresetwait__state_act)
291
))
292

    
293
; setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until
294
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.idSetResetWait_SetResetWait_1 Int)
295
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.s_1 Real)
296
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.setresetwait_setresetwait__restart_in Bool)
297
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
298
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.idSetResetWait_SetResetWait_out Int)
299
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.s_out Real)
300
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.idSetResetWait_SetResetWait_2 Int)
301
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.idSetResetWait_SetResetWait_3 Int)
302
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.s_2 Real)
303
(declare-rel setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until (Int Real Bool setresetwait_setresetwait__type Int Real))
304
(rule (=> 
305
  (and (= setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.setresetwait_setresetwait__state_in POINTSetResetWait_SetResetWait)
306
       (= setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.setresetwait_setresetwait__restart_in true)
307
       (SetResetWait_Off_ex setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.idSetResetWait_SetResetWait_1
308
                            false
309
                            setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.idSetResetWait_SetResetWait_2)
310
       (SetResetWait_On_en setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.idSetResetWait_SetResetWait_2
311
                           setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.s_1
312
                           false
313
                           setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.idSetResetWait_SetResetWait_3
314
                           setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.s_2)
315
       (= setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.s_out setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.s_2)
316
       (= setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.idSetResetWait_SetResetWait_3)
317
       )
318
  (setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.idSetResetWait_SetResetWait_1 setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.s_1 setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until.s_out)
319
))
320

    
321
; setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless
322
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless.setresetwait_setresetwait__restart_in Bool)
323
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
324
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless.setresetwait_setresetwait__restart_act Bool)
325
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__type)
326
(declare-rel setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless (Bool setresetwait_setresetwait__type Bool setresetwait_setresetwait__type))
327
(rule (=> 
328
  (and (= setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless.setresetwait_setresetwait__state_in)
329
       (= setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless.setresetwait_setresetwait__restart_in)
330
       )
331
  (setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless.setresetwait_setresetwait__state_act)
332
))
333

    
334
; setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until
335
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.idSetResetWait_SetResetWait_1 Int)
336
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.s_1 Real)
337
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.setresetwait_setresetwait__restart_in Bool)
338
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
339
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.idSetResetWait_SetResetWait_out Int)
340
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.s_out Real)
341
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.idSetResetWait_SetResetWait_2 Int)
342
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.idSetResetWait_SetResetWait_3 Int)
343
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.s_2 Real)
344
(declare-rel setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until (Int Real Bool setresetwait_setresetwait__type Int Real))
345
(rule (=> 
346
  (and (= setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.setresetwait_setresetwait__state_in POINTSetResetWait_SetResetWait)
347
       (= setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.setresetwait_setresetwait__restart_in true)
348
       (SetResetWait_Off_ex setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.idSetResetWait_SetResetWait_1
349
                            false
350
                            setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.idSetResetWait_SetResetWait_2)
351
       (SetResetWait_Wait_en setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.idSetResetWait_SetResetWait_2
352
                             setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.s_1
353
                             false
354
                             setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.idSetResetWait_SetResetWait_3
355
                             setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.s_2)
356
       (= setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.s_out setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.s_2)
357
       (= setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.idSetResetWait_SetResetWait_3)
358
       )
359
  (setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.idSetResetWait_SetResetWait_1 setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.s_1 setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until.s_out)
360
))
361

    
362
; setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless
363
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless.setresetwait_setresetwait__restart_in Bool)
364
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
365
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless.setresetwait_setresetwait__restart_act Bool)
366
(declare-var setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__type)
367
(declare-rel setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless (Bool setresetwait_setresetwait__type Bool setresetwait_setresetwait__type))
368
(rule (=> 
369
  (and (= setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless.setresetwait_setresetwait__state_in)
370
       (= setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless.setresetwait_setresetwait__restart_in)
371
       )
372
  (setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless.setresetwait_setresetwait__state_act)
373
))
374

    
375
; setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until
376
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.idSetResetWait_SetResetWait_1 Int)
377
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.s_1 Real)
378
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.setresetwait_setresetwait__restart_in Bool)
379
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
380
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.idSetResetWait_SetResetWait_out Int)
381
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.s_out Real)
382
(declare-rel setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until (Int Real Bool setresetwait_setresetwait__type Int Real))
383
(rule (=> 
384
  (and (= setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.setresetwait_setresetwait__state_in POINTSetResetWait_SetResetWait)
385
       (= setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.setresetwait_setresetwait__restart_in true)
386
       (= setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.s_out setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.s_1)
387
       (= setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.idSetResetWait_SetResetWait_1)
388
       )
389
  (setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.idSetResetWait_SetResetWait_1 setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.s_1 setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until.s_out)
390
))
391

    
392
; setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless
393
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless.setresetwait_setresetwait__restart_in Bool)
394
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
395
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless.setresetwait_setresetwait__restart_act Bool)
396
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__type)
397
(declare-rel setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless (Bool setresetwait_setresetwait__type Bool setresetwait_setresetwait__type))
398
(rule (=> 
399
  (and (= setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless.setresetwait_setresetwait__state_in)
400
       (= setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless.setresetwait_setresetwait__restart_in)
401
       )
402
  (setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless.setresetwait_setresetwait__state_act)
403
))
404

    
405
; setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until
406
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.idSetResetWait_SetResetWait_1 Int)
407
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.s_1 Real)
408
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.setresetwait_setresetwait__restart_in Bool)
409
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
410
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.idSetResetWait_SetResetWait_out Int)
411
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.s_out Real)
412
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.idSetResetWait_SetResetWait_2 Int)
413
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.idSetResetWait_SetResetWait_3 Int)
414
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.s_2 Real)
415
(declare-rel setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until (Int Real Bool setresetwait_setresetwait__type Int Real))
416
(rule (=> 
417
  (and (= setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.setresetwait_setresetwait__state_in POINTSetResetWait_SetResetWait)
418
       (= setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.setresetwait_setresetwait__restart_in true)
419
       (SetResetWait_On_ex setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.idSetResetWait_SetResetWait_1
420
                           false
421
                           setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.idSetResetWait_SetResetWait_2)
422
       (SetResetWait_Off_en setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.idSetResetWait_SetResetWait_2
423
                            setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.s_1
424
                            false
425
                            setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.idSetResetWait_SetResetWait_3
426
                            setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.s_2)
427
       (= setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.s_out setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.s_2)
428
       (= setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.idSetResetWait_SetResetWait_3)
429
       )
430
  (setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.idSetResetWait_SetResetWait_1 setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.s_1 setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until.s_out)
431
))
432

    
433
; setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless
434
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless.setresetwait_setresetwait__restart_in Bool)
435
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
436
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless.setresetwait_setresetwait__restart_act Bool)
437
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__type)
438
(declare-rel setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless (Bool setresetwait_setresetwait__type Bool setresetwait_setresetwait__type))
439
(rule (=> 
440
  (and (= setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless.setresetwait_setresetwait__state_in)
441
       (= setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless.setresetwait_setresetwait__restart_in)
442
       )
443
  (setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless.setresetwait_setresetwait__state_act)
444
))
445

    
446
; setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until
447
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.idSetResetWait_SetResetWait_1 Int)
448
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.s_1 Real)
449
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.setresetwait_setresetwait__restart_in Bool)
450
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
451
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.idSetResetWait_SetResetWait_out Int)
452
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.s_out Real)
453
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.idSetResetWait_SetResetWait_2 Int)
454
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.idSetResetWait_SetResetWait_3 Int)
455
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.s_2 Real)
456
(declare-rel setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until (Int Real Bool setresetwait_setresetwait__type Int Real))
457
(rule (=> 
458
  (and (= setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.setresetwait_setresetwait__state_in POINTSetResetWait_SetResetWait)
459
       (= setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.setresetwait_setresetwait__restart_in true)
460
       (SetResetWait_On_ex setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.idSetResetWait_SetResetWait_1
461
                           false
462
                           setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.idSetResetWait_SetResetWait_2)
463
       (SetResetWait_Wait_en setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.idSetResetWait_SetResetWait_2
464
                             setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.s_1
465
                             false
466
                             setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.idSetResetWait_SetResetWait_3
467
                             setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.s_2)
468
       (= setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.s_out setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.s_2)
469
       (= setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.idSetResetWait_SetResetWait_3)
470
       )
471
  (setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.idSetResetWait_SetResetWait_1 setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.s_1 setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until.s_out)
472
))
473

    
474
; setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless
475
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless.setresetwait_setresetwait__restart_in Bool)
476
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
477
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless.setresetwait_setresetwait__restart_act Bool)
478
(declare-var setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__type)
479
(declare-rel setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless (Bool setresetwait_setresetwait__type Bool setresetwait_setresetwait__type))
480
(rule (=> 
481
  (and (= setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless.setresetwait_setresetwait__state_in)
482
       (= setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless.setresetwait_setresetwait__restart_in)
483
       )
484
  (setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless.setresetwait_setresetwait__state_act)
485
))
486

    
487
; setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until
488
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.idSetResetWait_SetResetWait_1 Int)
489
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.s_1 Real)
490
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.setresetwait_setresetwait__restart_in Bool)
491
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
492
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.idSetResetWait_SetResetWait_out Int)
493
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.s_out Real)
494
(declare-rel setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until (Int Real Bool setresetwait_setresetwait__type Int Real))
495
(rule (=> 
496
  (and (= setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.setresetwait_setresetwait__state_in POINTSetResetWait_SetResetWait)
497
       (= setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.setresetwait_setresetwait__restart_in true)
498
       (= setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.s_out setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.s_1)
499
       (= setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.idSetResetWait_SetResetWait_1)
500
       )
501
  (setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.idSetResetWait_SetResetWait_1 setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.s_1 setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until.s_out)
502
))
503

    
504
; setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless
505
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless.setresetwait_setresetwait__restart_in Bool)
506
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
507
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless.setresetwait_setresetwait__restart_act Bool)
508
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__type)
509
(declare-rel setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless (Bool setresetwait_setresetwait__type Bool setresetwait_setresetwait__type))
510
(rule (=> 
511
  (and (= setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless.setresetwait_setresetwait__state_in)
512
       (= setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless.setresetwait_setresetwait__restart_in)
513
       )
514
  (setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless.setresetwait_setresetwait__state_act)
515
))
516

    
517
; setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until
518
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_1 Int)
519
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.s_1 Real)
520
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.setresetwait_setresetwait__restart_in Bool)
521
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
522
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_out Int)
523
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.s_out Real)
524
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_2 Int)
525
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_3 Int)
526
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.s_2 Real)
527
(declare-rel setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until (Int Real Bool setresetwait_setresetwait__type Int Real))
528
(rule (=> 
529
  (and (= setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.setresetwait_setresetwait__state_in POINTSetResetWait_SetResetWait)
530
       (= setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.setresetwait_setresetwait__restart_in true)
531
       (SetResetWait_Wait_ex setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_1
532
                             false
533
                             setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_2)
534
       (SetResetWait_Off_en setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_2
535
                            setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.s_1
536
                            false
537
                            setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_3
538
                            setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.s_2)
539
       (= setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.s_out setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.s_2)
540
       (= setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_3)
541
       )
542
  (setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_1 setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.s_1 setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.idSetResetWait_SetResetWait_out setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until.s_out)
543
))
544

    
545
; setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless
546
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__restart_in Bool)
547
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
548
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__restart_act Bool)
549
(declare-var setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__type)
550
(declare-rel setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless (Bool setresetwait_setresetwait__type Bool setresetwait_setresetwait__type))
551
(rule (=> 
552
  (and (= setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__state_act setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__state_in)
553
       (= setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__restart_in)
554
       )
555
  (setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__restart_in setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__state_in setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__restart_act setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless.setresetwait_setresetwait__state_act)
556
))
557

    
558
; SetResetWait_SetResetWait_node
559
(declare-var SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait_1 Int)
560
(declare-var SetResetWait_SetResetWait_node.s_1 Real)
561
(declare-var SetResetWait_SetResetWait_node.Suspend Bool)
562
(declare-var SetResetWait_SetResetWait_node.Reset Bool)
563
(declare-var SetResetWait_SetResetWait_node.Set Bool)
564
(declare-var SetResetWait_SetResetWait_node.Clear Bool)
565
(declare-var SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait Int)
566
(declare-var SetResetWait_SetResetWait_node.s Real)
567
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c Bool)
568
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c setresetwait_setresetwait__type)
569
(declare-var SetResetWait_SetResetWait_node.ni_7._arrow._first_c Bool)
570
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m Bool)
571
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m setresetwait_setresetwait__type)
572
(declare-var SetResetWait_SetResetWait_node.ni_7._arrow._first_m Bool)
573
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x Bool)
574
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x setresetwait_setresetwait__type)
575
(declare-var SetResetWait_SetResetWait_node.ni_7._arrow._first_x Bool)
576
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_1 Bool)
577
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_10 setresetwait_setresetwait__type)
578
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_11 Bool)
579
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_12 setresetwait_setresetwait__type)
580
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_13 Bool)
581
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_14 setresetwait_setresetwait__type)
582
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_15 Bool)
583
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_16 setresetwait_setresetwait__type)
584
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_17 Bool)
585
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_18 setresetwait_setresetwait__type)
586
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_19 Bool)
587
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_2 setresetwait_setresetwait__type)
588
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_20 setresetwait_setresetwait__type)
589
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_21 Bool)
590
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_22 setresetwait_setresetwait__type)
591
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_23 Int)
592
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_24 Real)
593
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_25 Bool)
594
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_26 setresetwait_setresetwait__type)
595
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_27 Int)
596
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_28 Real)
597
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_29 Bool)
598
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_3 Bool)
599
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_30 setresetwait_setresetwait__type)
600
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_31 Int)
601
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_32 Real)
602
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_33 Bool)
603
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_34 setresetwait_setresetwait__type)
604
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_35 Int)
605
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_36 Real)
606
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_37 Bool)
607
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_38 setresetwait_setresetwait__type)
608
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_39 Int)
609
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_4 setresetwait_setresetwait__type)
610
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_40 Real)
611
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_41 Bool)
612
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_42 setresetwait_setresetwait__type)
613
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_43 Int)
614
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_44 Real)
615
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_45 Bool)
616
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_46 setresetwait_setresetwait__type)
617
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_47 Int)
618
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_48 Real)
619
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_49 Bool)
620
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_5 Bool)
621
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_50 setresetwait_setresetwait__type)
622
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_51 Int)
623
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_52 Real)
624
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_53 Bool)
625
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_54 setresetwait_setresetwait__type)
626
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_55 Int)
627
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_56 Real)
628
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_57 Bool)
629
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_58 setresetwait_setresetwait__type)
630
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_59 Int)
631
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_6 setresetwait_setresetwait__type)
632
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_60 Real)
633
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_61 Bool)
634
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_7 Bool)
635
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_8 setresetwait_setresetwait__type)
636
(declare-var SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_9 Bool)
637
(declare-var SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_restart_in Bool)
638
(declare-var SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_state_in setresetwait_setresetwait__type)
639
(declare-var SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_act Bool)
640
(declare-var SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_in Bool)
641
(declare-var SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act setresetwait_setresetwait__type)
642
(declare-var SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in setresetwait_setresetwait__type)
643
(declare-rel SetResetWait_SetResetWait_node_reset (Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool))
644
(declare-rel SetResetWait_SetResetWait_node_step (Int Real Bool Bool Bool Bool Int Real Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool))
645

    
646
(rule (=> 
647
  (and 
648
       (= SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c)
649
       (= SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c)
650
       (= SetResetWait_SetResetWait_node.ni_7._arrow._first_m true)
651
  )
652
  (SetResetWait_SetResetWait_node_reset SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
653
                                        SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
654
                                        SetResetWait_SetResetWait_node.ni_7._arrow._first_c
655
                                        SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
656
                                        SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
657
                                        SetResetWait_SetResetWait_node.ni_7._arrow._first_m)
658
))
659

    
660
(rule (=> 
661
  (and (= SetResetWait_SetResetWait_node.ni_7._arrow._first_m SetResetWait_SetResetWait_node.ni_7._arrow._first_c)
662
       (and (= SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_61 (ite SetResetWait_SetResetWait_node.ni_7._arrow._first_m true false))
663
            (= SetResetWait_SetResetWait_node.ni_7._arrow._first_x false))
664
       (and (or (not (= SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_61 false))
665
               (and (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c)
666
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c)
667
                    ))
668
            (or (not (= SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_61 true))
669
               (and (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in POINTSetResetWait_SetResetWait)
670
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_in false)
671
                    ))
672
       )
673
       (and (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in POINTSetResetWait_SetResetWait))
674
               (and (setresetwait_setresetwait__POINTSetResetWait_SetResetWait_unless 
675
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_in
676
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in
677
                    SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait_1
678
                    SetResetWait_SetResetWait_node.Suspend
679
                    SetResetWait_SetResetWait_node.Reset
680
                    SetResetWait_SetResetWait_node.Set
681
                    SetResetWait_SetResetWait_node.Clear
682
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_19
683
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_20)
684
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_20)
685
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_19)
686
                    ))
687
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in POINT__TO__SETRESETWAIT_OFF_1))
688
               (and (setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_unless 
689
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_in
690
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in
691
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_17
692
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_18)
693
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_18)
694
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_17)
695
                    ))
696
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in SETRESETWAIT_OFF_IDL))
697
               (and (setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_unless 
698
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_in
699
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in
700
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_3
701
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_4)
702
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_4)
703
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_3)
704
                    ))
705
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1))
706
               (and (setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_unless 
707
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_in
708
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in
709
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_11
710
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_12)
711
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_12)
712
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_11)
713
                    ))
714
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2))
715
               (and (setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_unless 
716
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_in
717
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in
718
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_9
719
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_10)
720
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_10)
721
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_9)
722
                    ))
723
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in SETRESETWAIT_ON_IDL))
724
               (and (setresetwait_setresetwait__SETRESETWAIT_ON_IDL_unless 
725
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_in
726
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in
727
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_5
728
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_6)
729
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_6)
730
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_5)
731
                    ))
732
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2))
733
               (and (setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_unless 
734
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_in
735
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in
736
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_13
737
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_14)
738
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_14)
739
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_13)
740
                    ))
741
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1))
742
               (and (setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_unless 
743
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_in
744
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in
745
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_15
746
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_16)
747
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_16)
748
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_15)
749
                    ))
750
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in SETRESETWAIT_WAIT_IDL))
751
               (and (setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_unless 
752
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_in
753
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in
754
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_1
755
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_2)
756
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_2)
757
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_1)
758
                    ))
759
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1))
760
               (and (setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_unless 
761
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_in
762
                    SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_in
763
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_7
764
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_8)
765
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_8)
766
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__restart_act SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_7)
767
                    ))
768
       )
769
       (and (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act POINTSetResetWait_SetResetWait))
770
               (and (setresetwait_setresetwait__POINTSetResetWait_SetResetWait_handler_until 
771
                    SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait_1
772
                    SetResetWait_SetResetWait_node.s_1
773
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_57
774
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_58
775
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_59
776
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_60)
777
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_state_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_58)
778
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_restart_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_57)
779
                    (= SetResetWait_SetResetWait_node.s SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_60)
780
                    (= SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_59)
781
                    ))
782
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act POINT__TO__SETRESETWAIT_OFF_1))
783
               (and (setresetwait_setresetwait__POINT__TO__SETRESETWAIT_OFF_1_handler_until 
784
                    SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait_1
785
                    SetResetWait_SetResetWait_node.s_1
786
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_53
787
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_54
788
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_55
789
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_56)
790
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_state_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_54)
791
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_restart_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_53)
792
                    (= SetResetWait_SetResetWait_node.s SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_56)
793
                    (= SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_55)
794
                    ))
795
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SETRESETWAIT_OFF_IDL))
796
               (and (setresetwait_setresetwait__SETRESETWAIT_OFF_IDL_handler_until 
797
                    SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait_1
798
                    SetResetWait_SetResetWait_node.s_1
799
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_25
800
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_26
801
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_27
802
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_28)
803
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_state_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_26)
804
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_restart_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_25)
805
                    (= SetResetWait_SetResetWait_node.s SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_28)
806
                    (= SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_27)
807
                    ))
808
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1))
809
               (and (setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_ON_1_handler_until 
810
                    SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait_1
811
                    SetResetWait_SetResetWait_node.s_1
812
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_41
813
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_42
814
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_43
815
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_44)
816
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_state_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_42)
817
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_restart_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_41)
818
                    (= SetResetWait_SetResetWait_node.s SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_44)
819
                    (= SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_43)
820
                    ))
821
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2))
822
               (and (setresetwait_setresetwait__SETRESETWAIT_OFF__TO__SETRESETWAIT_WAIT_2_handler_until 
823
                    SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait_1
824
                    SetResetWait_SetResetWait_node.s_1
825
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_37
826
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_38
827
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_39
828
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_40)
829
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_state_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_38)
830
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_restart_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_37)
831
                    (= SetResetWait_SetResetWait_node.s SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_40)
832
                    (= SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_39)
833
                    ))
834
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SETRESETWAIT_ON_IDL))
835
               (and (setresetwait_setresetwait__SETRESETWAIT_ON_IDL_handler_until 
836
                    SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait_1
837
                    SetResetWait_SetResetWait_node.s_1
838
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_29
839
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_30
840
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_31
841
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_32)
842
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_state_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_30)
843
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_restart_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_29)
844
                    (= SetResetWait_SetResetWait_node.s SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_32)
845
                    (= SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_31)
846
                    ))
847
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2))
848
               (and (setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_OFF_2_handler_until 
849
                    SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait_1
850
                    SetResetWait_SetResetWait_node.s_1
851
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_45
852
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_46
853
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_47
854
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_48)
855
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_state_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_46)
856
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_restart_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_45)
857
                    (= SetResetWait_SetResetWait_node.s SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_48)
858
                    (= SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_47)
859
                    ))
860
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1))
861
               (and (setresetwait_setresetwait__SETRESETWAIT_ON__TO__SETRESETWAIT_WAIT_1_handler_until 
862
                    SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait_1
863
                    SetResetWait_SetResetWait_node.s_1
864
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_49
865
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_50
866
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_51
867
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_52)
868
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_state_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_50)
869
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_restart_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_49)
870
                    (= SetResetWait_SetResetWait_node.s SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_52)
871
                    (= SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_51)
872
                    ))
873
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SETRESETWAIT_WAIT_IDL))
874
               (and (setresetwait_setresetwait__SETRESETWAIT_WAIT_IDL_handler_until 
875
                    SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait_1
876
                    SetResetWait_SetResetWait_node.s_1
877
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_21
878
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_22
879
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_23
880
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_24)
881
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_state_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_22)
882
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_restart_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_21)
883
                    (= SetResetWait_SetResetWait_node.s SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_24)
884
                    (= SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_23)
885
                    ))
886
            (or (not (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__state_act SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1))
887
               (and (setresetwait_setresetwait__SETRESETWAIT_WAIT__TO__SETRESETWAIT_OFF_1_handler_until 
888
                    SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait_1
889
                    SetResetWait_SetResetWait_node.s_1
890
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_33
891
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_34
892
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_35
893
                    SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_36)
894
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_state_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_34)
895
                    (= SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_restart_in SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_33)
896
                    (= SetResetWait_SetResetWait_node.s SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_36)
897
                    (= SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_35)
898
                    ))
899
       )
900
       (= SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_state_in)
901
       (= SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x SetResetWait_SetResetWait_node.setresetwait_setresetwait__next_restart_in)
902
       )
903
  (SetResetWait_SetResetWait_node_step SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait_1
904
                                       SetResetWait_SetResetWait_node.s_1
905
                                       SetResetWait_SetResetWait_node.Suspend
906
                                       SetResetWait_SetResetWait_node.Reset
907
                                       SetResetWait_SetResetWait_node.Set
908
                                       SetResetWait_SetResetWait_node.Clear
909
                                       SetResetWait_SetResetWait_node.idSetResetWait_SetResetWait
910
                                       SetResetWait_SetResetWait_node.s
911
                                       SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
912
                                       SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
913
                                       SetResetWait_SetResetWait_node.ni_7._arrow._first_c
914
                                       SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
915
                                       SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
916
                                       SetResetWait_SetResetWait_node.ni_7._arrow._first_x)
917
))
918

    
919
; SetResetWait_SetResetWait
920
(declare-var SetResetWait_SetResetWait.Clear Bool)
921
(declare-var SetResetWait_SetResetWait.Reset Bool)
922
(declare-var SetResetWait_SetResetWait.Suspend Bool)
923
(declare-var SetResetWait_SetResetWait.Set Bool)
924
(declare-var SetResetWait_SetResetWait.s Real)
925
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_c Int)
926
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_c Real)
927
(declare-var SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c Bool)
928
(declare-var SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c setresetwait_setresetwait__type)
929
(declare-var SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_c Bool)
930
(declare-var SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c Bool)
931
(declare-var SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c setresetwait_setresetwait__type)
932
(declare-var SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_c Bool)
933
(declare-var SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c Bool)
934
(declare-var SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c setresetwait_setresetwait__type)
935
(declare-var SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_c Bool)
936
(declare-var SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c Bool)
937
(declare-var SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c setresetwait_setresetwait__type)
938
(declare-var SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_c Bool)
939
(declare-var SetResetWait_SetResetWait.ni_6._arrow._first_c Bool)
940
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_m Int)
941
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_m Real)
942
(declare-var SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m Bool)
943
(declare-var SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m setresetwait_setresetwait__type)
944
(declare-var SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_m Bool)
945
(declare-var SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m Bool)
946
(declare-var SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m setresetwait_setresetwait__type)
947
(declare-var SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_m Bool)
948
(declare-var SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m Bool)
949
(declare-var SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m setresetwait_setresetwait__type)
950
(declare-var SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_m Bool)
951
(declare-var SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m Bool)
952
(declare-var SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m setresetwait_setresetwait__type)
953
(declare-var SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_m Bool)
954
(declare-var SetResetWait_SetResetWait.ni_6._arrow._first_m Bool)
955
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_x Int)
956
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_x Real)
957
(declare-var SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x Bool)
958
(declare-var SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x setresetwait_setresetwait__type)
959
(declare-var SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_x Bool)
960
(declare-var SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x Bool)
961
(declare-var SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x setresetwait_setresetwait__type)
962
(declare-var SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_x Bool)
963
(declare-var SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x Bool)
964
(declare-var SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x setresetwait_setresetwait__type)
965
(declare-var SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_x Bool)
966
(declare-var SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x Bool)
967
(declare-var SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x setresetwait_setresetwait__type)
968
(declare-var SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_x Bool)
969
(declare-var SetResetWait_SetResetWait.ni_6._arrow._first_x Bool)
970
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_1 Int)
971
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_2 Real)
972
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_3 Int)
973
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_4 Real)
974
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_5 Int)
975
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_6 Real)
976
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_7 Int)
977
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_8 Real)
978
(declare-var SetResetWait_SetResetWait.__SetResetWait_SetResetWait_9 Bool)
979
(declare-var SetResetWait_SetResetWait.idSetResetWait_SetResetWait Int)
980
(declare-var SetResetWait_SetResetWait.idSetResetWait_SetResetWait_1 Int)
981
(declare-var SetResetWait_SetResetWait.idSetResetWait_SetResetWait_2 Int)
982
(declare-var SetResetWait_SetResetWait.idSetResetWait_SetResetWait_3 Int)
983
(declare-var SetResetWait_SetResetWait.idSetResetWait_SetResetWait_4 Int)
984
(declare-var SetResetWait_SetResetWait.s_1 Real)
985
(declare-var SetResetWait_SetResetWait.s_2 Real)
986
(declare-var SetResetWait_SetResetWait.s_3 Real)
987
(declare-var SetResetWait_SetResetWait.s_4 Real)
988
(declare-rel SetResetWait_SetResetWait_reset (Int Real Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool Int Real Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool))
989
(declare-rel SetResetWait_SetResetWait_step (Bool Bool Bool Bool Real Int Real Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool Int Real Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool))
990

    
991
(rule (=> 
992
  (and 
993
       (= SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_m SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_c)
994
       (= SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_m SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_c)
995
       (= SetResetWait_SetResetWait.ni_6._arrow._first_m true)
996
       (SetResetWait_SetResetWait_node_reset SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
997
                                             SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
998
                                             SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
999
                                             SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1000
                                             SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1001
                                             SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_m)
1002
       (SetResetWait_SetResetWait_node_reset SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1003
                                             SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1004
                                             SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1005
                                             SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1006
                                             SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1007
                                             SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_m)
1008
       (SetResetWait_SetResetWait_node_reset SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1009
                                             SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1010
                                             SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1011
                                             SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1012
                                             SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1013
                                             SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_m)
1014
       (SetResetWait_SetResetWait_node_reset SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1015
                                             SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1016
                                             SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1017
                                             SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1018
                                             SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1019
                                             SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_m)
1020
  )
1021
  (SetResetWait_SetResetWait_reset SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_c
1022
                                   SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_c
1023
                                   SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1024
                                   SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1025
                                   SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1026
                                   SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1027
                                   SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1028
                                   SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1029
                                   SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1030
                                   SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1031
                                   SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1032
                                   SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1033
                                   SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1034
                                   SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1035
                                   SetResetWait_SetResetWait.ni_6._arrow._first_c
1036
                                   SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_m
1037
                                   SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_m
1038
                                   SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1039
                                   SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1040
                                   SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1041
                                   SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1042
                                   SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1043
                                   SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1044
                                   SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1045
                                   SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1046
                                   SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1047
                                   SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1048
                                   SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1049
                                   SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1050
                                   SetResetWait_SetResetWait.ni_6._arrow._first_m)
1051
))
1052

    
1053
(rule (=> 
1054
  (and (= SetResetWait_SetResetWait.ni_6._arrow._first_m SetResetWait_SetResetWait.ni_6._arrow._first_c)
1055
       (and (= SetResetWait_SetResetWait.__SetResetWait_SetResetWait_9 (ite SetResetWait_SetResetWait.ni_6._arrow._first_m true false))
1056
            (= SetResetWait_SetResetWait.ni_6._arrow._first_x false))
1057
       (and (or (not (= SetResetWait_SetResetWait.__SetResetWait_SetResetWait_9 false))
1058
               (and (= SetResetWait_SetResetWait.s_1 SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_c)
1059
                    (= SetResetWait_SetResetWait.idSetResetWait_SetResetWait_1 SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_c)
1060
                    ))
1061
            (or (not (= SetResetWait_SetResetWait.__SetResetWait_SetResetWait_9 true))
1062
               (and (= SetResetWait_SetResetWait.s_1 0.)
1063
                    (= SetResetWait_SetResetWait.idSetResetWait_SetResetWait_1 0)
1064
                    ))
1065
       )
1066
       (and (= SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c)
1067
            (= SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c)
1068
            (= SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_m SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_c)
1069
            )
1070
       (SetResetWait_SetResetWait_node_step SetResetWait_SetResetWait.idSetResetWait_SetResetWait_1
1071
                                            SetResetWait_SetResetWait.s_1
1072
                                            false
1073
                                            false
1074
                                            false
1075
                                            SetResetWait_SetResetWait.Clear
1076
                                            SetResetWait_SetResetWait.__SetResetWait_SetResetWait_7
1077
                                            SetResetWait_SetResetWait.__SetResetWait_SetResetWait_8
1078
                                            SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1079
                                            SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1080
                                            SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1081
                                            SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1082
                                            SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1083
                                            SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_x)
1084
       (and (or (not (= SetResetWait_SetResetWait.Clear false))
1085
               (and (= SetResetWait_SetResetWait.s_2 SetResetWait_SetResetWait.s_1)
1086
                    (= SetResetWait_SetResetWait.idSetResetWait_SetResetWait_2 SetResetWait_SetResetWait.idSetResetWait_SetResetWait_1)
1087
                    ))
1088
            (or (not (= SetResetWait_SetResetWait.Clear true))
1089
               (and (= SetResetWait_SetResetWait.s_2 SetResetWait_SetResetWait.__SetResetWait_SetResetWait_8)
1090
                    (= SetResetWait_SetResetWait.idSetResetWait_SetResetWait_2 SetResetWait_SetResetWait.__SetResetWait_SetResetWait_7)
1091
                    ))
1092
       )
1093
       (and (= SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c)
1094
            (= SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c)
1095
            (= SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_m SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_c)
1096
            )
1097
       (SetResetWait_SetResetWait_node_step SetResetWait_SetResetWait.idSetResetWait_SetResetWait_2
1098
                                            SetResetWait_SetResetWait.s_2
1099
                                            false
1100
                                            SetResetWait_SetResetWait.Reset
1101
                                            false
1102
                                            false
1103
                                            SetResetWait_SetResetWait.__SetResetWait_SetResetWait_5
1104
                                            SetResetWait_SetResetWait.__SetResetWait_SetResetWait_6
1105
                                            SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1106
                                            SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1107
                                            SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1108
                                            SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1109
                                            SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1110
                                            SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_x)
1111
       (and (or (not (= SetResetWait_SetResetWait.Reset false))
1112
               (and (= SetResetWait_SetResetWait.s_3 SetResetWait_SetResetWait.s_2)
1113
                    (= SetResetWait_SetResetWait.idSetResetWait_SetResetWait_3 SetResetWait_SetResetWait.idSetResetWait_SetResetWait_2)
1114
                    ))
1115
            (or (not (= SetResetWait_SetResetWait.Reset true))
1116
               (and (= SetResetWait_SetResetWait.s_3 SetResetWait_SetResetWait.__SetResetWait_SetResetWait_6)
1117
                    (= SetResetWait_SetResetWait.idSetResetWait_SetResetWait_3 SetResetWait_SetResetWait.__SetResetWait_SetResetWait_5)
1118
                    ))
1119
       )
1120
       (and (= SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c)
1121
            (= SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c)
1122
            (= SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_m SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_c)
1123
            )
1124
       (SetResetWait_SetResetWait_node_step SetResetWait_SetResetWait.idSetResetWait_SetResetWait_3
1125
                                            SetResetWait_SetResetWait.s_3
1126
                                            SetResetWait_SetResetWait.Suspend
1127
                                            false
1128
                                            false
1129
                                            false
1130
                                            SetResetWait_SetResetWait.__SetResetWait_SetResetWait_3
1131
                                            SetResetWait_SetResetWait.__SetResetWait_SetResetWait_4
1132
                                            SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1133
                                            SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1134
                                            SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1135
                                            SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1136
                                            SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1137
                                            SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_x)
1138
       (and (or (not (= SetResetWait_SetResetWait.Suspend false))
1139
               (and (= SetResetWait_SetResetWait.s_4 SetResetWait_SetResetWait.s_3)
1140
                    (= SetResetWait_SetResetWait.idSetResetWait_SetResetWait_4 SetResetWait_SetResetWait.idSetResetWait_SetResetWait_3)
1141
                    ))
1142
            (or (not (= SetResetWait_SetResetWait.Suspend true))
1143
               (and (= SetResetWait_SetResetWait.s_4 SetResetWait_SetResetWait.__SetResetWait_SetResetWait_4)
1144
                    (= SetResetWait_SetResetWait.idSetResetWait_SetResetWait_4 SetResetWait_SetResetWait.__SetResetWait_SetResetWait_3)
1145
                    ))
1146
       )
1147
       (and (= SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c)
1148
            (= SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c)
1149
            (= SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_m SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_c)
1150
            )
1151
       (SetResetWait_SetResetWait_node_step SetResetWait_SetResetWait.idSetResetWait_SetResetWait_4
1152
                                            SetResetWait_SetResetWait.s_4
1153
                                            false
1154
                                            false
1155
                                            SetResetWait_SetResetWait.Set
1156
                                            false
1157
                                            SetResetWait_SetResetWait.__SetResetWait_SetResetWait_1
1158
                                            SetResetWait_SetResetWait.__SetResetWait_SetResetWait_2
1159
                                            SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1160
                                            SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1161
                                            SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1162
                                            SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1163
                                            SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1164
                                            SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_x)
1165
       (and (or (not (= SetResetWait_SetResetWait.Set false))
1166
               (and (= SetResetWait_SetResetWait.s SetResetWait_SetResetWait.s_4)
1167
                    (= SetResetWait_SetResetWait.idSetResetWait_SetResetWait SetResetWait_SetResetWait.idSetResetWait_SetResetWait_4)
1168
                    ))
1169
            (or (not (= SetResetWait_SetResetWait.Set true))
1170
               (and (= SetResetWait_SetResetWait.s SetResetWait_SetResetWait.__SetResetWait_SetResetWait_2)
1171
                    (= SetResetWait_SetResetWait.idSetResetWait_SetResetWait SetResetWait_SetResetWait.__SetResetWait_SetResetWait_1)
1172
                    ))
1173
       )
1174
       (= SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_x SetResetWait_SetResetWait.s)
1175
       (= SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_x SetResetWait_SetResetWait.idSetResetWait_SetResetWait)
1176
       )
1177
  (SetResetWait_SetResetWait_step SetResetWait_SetResetWait.Clear
1178
                                  SetResetWait_SetResetWait.Reset
1179
                                  SetResetWait_SetResetWait.Suspend
1180
                                  SetResetWait_SetResetWait.Set
1181
                                  SetResetWait_SetResetWait.s
1182
                                  SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_c
1183
                                  SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_c
1184
                                  SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1185
                                  SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1186
                                  SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1187
                                  SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1188
                                  SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1189
                                  SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1190
                                  SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1191
                                  SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1192
                                  SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1193
                                  SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1194
                                  SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1195
                                  SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1196
                                  SetResetWait_SetResetWait.ni_6._arrow._first_c
1197
                                  SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_x
1198
                                  SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_x
1199
                                  SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1200
                                  SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1201
                                  SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_x
1202
                                  SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1203
                                  SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1204
                                  SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_x
1205
                                  SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1206
                                  SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1207
                                  SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_x
1208
                                  SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1209
                                  SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1210
                                  SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_x
1211
                                  SetResetWait_SetResetWait.ni_6._arrow._first_x)
1212
))
1213

    
1214
; SetResetWait
1215
(declare-var SetResetWait.clear_1_1 Real)
1216
(declare-var SetResetWait.reset_1_1 Real)
1217
(declare-var SetResetWait.set_1_1 Real)
1218
(declare-var SetResetWait.suspend_1_1 Real)
1219
(declare-var SetResetWait.s_1_1 Real)
1220
(declare-var SetResetWait.__SetResetWait_2_c Real)
1221
(declare-var SetResetWait.__SetResetWait_3_c Real)
1222
(declare-var SetResetWait.__SetResetWait_4_c Real)
1223
(declare-var SetResetWait.__SetResetWait_5_c Real)
1224
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_c Int)
1225
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_c Real)
1226
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c Bool)
1227
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c setresetwait_setresetwait__type)
1228
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_c Bool)
1229
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c Bool)
1230
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c setresetwait_setresetwait__type)
1231
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_c Bool)
1232
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c Bool)
1233
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c setresetwait_setresetwait__type)
1234
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_c Bool)
1235
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c Bool)
1236
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c setresetwait_setresetwait__type)
1237
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_c Bool)
1238
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_6._arrow._first_c Bool)
1239
(declare-var SetResetWait.ni_1._arrow._first_c Bool)
1240
(declare-var SetResetWait.__SetResetWait_2_m Real)
1241
(declare-var SetResetWait.__SetResetWait_3_m Real)
1242
(declare-var SetResetWait.__SetResetWait_4_m Real)
1243
(declare-var SetResetWait.__SetResetWait_5_m Real)
1244
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_m Int)
1245
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_m Real)
1246
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m Bool)
1247
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m setresetwait_setresetwait__type)
1248
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_m Bool)
1249
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m Bool)
1250
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m setresetwait_setresetwait__type)
1251
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_m Bool)
1252
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m Bool)
1253
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m setresetwait_setresetwait__type)
1254
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_m Bool)
1255
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m Bool)
1256
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m setresetwait_setresetwait__type)
1257
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_m Bool)
1258
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_6._arrow._first_m Bool)
1259
(declare-var SetResetWait.ni_1._arrow._first_m Bool)
1260
(declare-var SetResetWait.__SetResetWait_2_x Real)
1261
(declare-var SetResetWait.__SetResetWait_3_x Real)
1262
(declare-var SetResetWait.__SetResetWait_4_x Real)
1263
(declare-var SetResetWait.__SetResetWait_5_x Real)
1264
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_x Int)
1265
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_x Real)
1266
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x Bool)
1267
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x setresetwait_setresetwait__type)
1268
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_x Bool)
1269
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x Bool)
1270
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x setresetwait_setresetwait__type)
1271
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_x Bool)
1272
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x Bool)
1273
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x setresetwait_setresetwait__type)
1274
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_x Bool)
1275
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x Bool)
1276
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x setresetwait_setresetwait__type)
1277
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_x Bool)
1278
(declare-var SetResetWait.ni_0.SetResetWait_SetResetWait.ni_6._arrow._first_x Bool)
1279
(declare-var SetResetWait.ni_1._arrow._first_x Bool)
1280
(declare-var SetResetWait.SetResetWaitMux_1_1_event Bool)
1281
(declare-var SetResetWait.SetResetWaitMux_1_2_event Bool)
1282
(declare-var SetResetWait.SetResetWaitMux_1_3_event Bool)
1283
(declare-var SetResetWait.SetResetWaitMux_1_4_event Bool)
1284
(declare-var SetResetWait.SetResetWait_1_1 Real)
1285
(declare-var SetResetWait.__SetResetWait_1 Bool)
1286
(declare-var SetResetWait.i_virtual_local Real)
1287
(declare-rel SetResetWait_reset (Real Real Real Real Int Real Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool Bool Real Real Real Real Int Real Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool Bool))
1288
(declare-rel SetResetWait_step (Real Real Real Real Real Real Real Real Real Int Real Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool Bool Real Real Real Real Int Real Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool setresetwait_setresetwait__type Bool Bool Bool))
1289

    
1290
(rule (=> 
1291
  (and 
1292
       (= SetResetWait.__SetResetWait_2_m SetResetWait.__SetResetWait_2_c)
1293
       (= SetResetWait.__SetResetWait_3_m SetResetWait.__SetResetWait_3_c)
1294
       (= SetResetWait.__SetResetWait_4_m SetResetWait.__SetResetWait_4_c)
1295
       (= SetResetWait.__SetResetWait_5_m SetResetWait.__SetResetWait_5_c)
1296
       (= SetResetWait.ni_1._arrow._first_m true)
1297
       (SetResetWait_SetResetWait_reset SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_c
1298
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_c
1299
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1300
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1301
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1302
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1303
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1304
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1305
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1306
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1307
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1308
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1309
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1310
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1311
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_6._arrow._first_c
1312
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_m
1313
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_m
1314
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1315
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1316
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1317
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1318
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1319
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1320
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1321
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1322
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1323
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1324
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1325
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1326
                                        SetResetWait.ni_0.SetResetWait_SetResetWait.ni_6._arrow._first_m)
1327
  )
1328
  (SetResetWait_reset SetResetWait.__SetResetWait_2_c
1329
                      SetResetWait.__SetResetWait_3_c
1330
                      SetResetWait.__SetResetWait_4_c
1331
                      SetResetWait.__SetResetWait_5_c
1332
                      SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_c
1333
                      SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_c
1334
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1335
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1336
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1337
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1338
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1339
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1340
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1341
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1342
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1343
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1344
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1345
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1346
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_6._arrow._first_c
1347
                      SetResetWait.ni_1._arrow._first_c
1348
                      SetResetWait.__SetResetWait_2_m
1349
                      SetResetWait.__SetResetWait_3_m
1350
                      SetResetWait.__SetResetWait_4_m
1351
                      SetResetWait.__SetResetWait_5_m
1352
                      SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_m
1353
                      SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_m
1354
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1355
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1356
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1357
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1358
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1359
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1360
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1361
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1362
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1363
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1364
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1365
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1366
                      SetResetWait.ni_0.SetResetWait_SetResetWait.ni_6._arrow._first_m
1367
                      SetResetWait.ni_1._arrow._first_m)
1368
))
1369

    
1370
(rule (=> 
1371
  (and (= SetResetWait.ni_1._arrow._first_m SetResetWait.ni_1._arrow._first_c)
1372
       (and (= SetResetWait.__SetResetWait_1 (ite SetResetWait.ni_1._arrow._first_m true false))
1373
            (= SetResetWait.ni_1._arrow._first_x false))
1374
       (and (or (not (= SetResetWait.__SetResetWait_1 true))
1375
               (= SetResetWait.SetResetWaitMux_1_4_event false))
1376
            (or (not (= SetResetWait.__SetResetWait_1 false))
1377
               (= SetResetWait.SetResetWaitMux_1_4_event (or (and (> SetResetWait.__SetResetWait_2_c 0.) (<= SetResetWait.suspend_1_1 0.)) (and (<= SetResetWait.__SetResetWait_2_c 0.) (> SetResetWait.suspend_1_1 0.)))))
1378
       )
1379
       (and (or (not (= SetResetWait.__SetResetWait_1 true))
1380
               (= SetResetWait.SetResetWaitMux_1_3_event false))
1381
            (or (not (= SetResetWait.__SetResetWait_1 false))
1382
               (= SetResetWait.SetResetWaitMux_1_3_event (or (and (> SetResetWait.__SetResetWait_3_c 0.) (<= SetResetWait.set_1_1 0.)) (and (<= SetResetWait.__SetResetWait_3_c 0.) (> SetResetWait.set_1_1 0.)))))
1383
       )
1384
       (and (or (not (= SetResetWait.__SetResetWait_1 true))
1385
               (= SetResetWait.SetResetWaitMux_1_2_event false))
1386
            (or (not (= SetResetWait.__SetResetWait_1 false))
1387
               (= SetResetWait.SetResetWaitMux_1_2_event (or (and (> SetResetWait.__SetResetWait_4_c 0.) (<= SetResetWait.reset_1_1 0.)) (and (<= SetResetWait.__SetResetWait_4_c 0.) (> SetResetWait.reset_1_1 0.)))))
1388
       )
1389
       (and (or (not (= SetResetWait.__SetResetWait_1 true))
1390
               (= SetResetWait.SetResetWaitMux_1_1_event false))
1391
            (or (not (= SetResetWait.__SetResetWait_1 false))
1392
               (= SetResetWait.SetResetWaitMux_1_1_event (or (and (> SetResetWait.__SetResetWait_5_c 0.) (<= SetResetWait.clear_1_1 0.)) (and (<= SetResetWait.__SetResetWait_5_c 0.) (> SetResetWait.clear_1_1 0.)))))
1393
       )
1394
       (and (= SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_m SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_c)
1395
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_m SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_c)
1396
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c)
1397
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c)
1398
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_m SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_c)
1399
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c)
1400
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c)
1401
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_m SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_c)
1402
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c)
1403
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c)
1404
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_m SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_c)
1405
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c)
1406
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c)
1407
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_m SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_c)
1408
            (= SetResetWait.ni_0.SetResetWait_SetResetWait.ni_6._arrow._first_m SetResetWait.ni_0.SetResetWait_SetResetWait.ni_6._arrow._first_c)
1409
            )
1410
       (SetResetWait_SetResetWait_step SetResetWait.SetResetWaitMux_1_1_event
1411
                                       SetResetWait.SetResetWaitMux_1_2_event
1412
                                       SetResetWait.SetResetWaitMux_1_3_event
1413
                                       SetResetWait.SetResetWaitMux_1_4_event
1414
                                       SetResetWait.SetResetWait_1_1
1415
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_m
1416
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_m
1417
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1418
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1419
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1420
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1421
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1422
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1423
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1424
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1425
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1426
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_m
1427
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_m
1428
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_m
1429
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_6._arrow._first_m
1430
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_x
1431
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_x
1432
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1433
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1434
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_x
1435
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1436
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1437
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_x
1438
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1439
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1440
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_x
1441
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1442
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1443
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_x
1444
                                       SetResetWait.ni_0.SetResetWait_SetResetWait.ni_6._arrow._first_x)
1445
       (= SetResetWait.s_1_1 SetResetWait.SetResetWait_1_1)
1446
       (and (or (not (= SetResetWait.__SetResetWait_1 true))
1447
               (= SetResetWait.i_virtual_local 0.))
1448
            (or (not (= SetResetWait.__SetResetWait_1 false))
1449
               (= SetResetWait.i_virtual_local 1.))
1450
       )
1451
       (= SetResetWait.__SetResetWait_5_x SetResetWait.clear_1_1)
1452
       (= SetResetWait.__SetResetWait_4_x SetResetWait.reset_1_1)
1453
       (= SetResetWait.__SetResetWait_3_x SetResetWait.set_1_1)
1454
       (= SetResetWait.__SetResetWait_2_x SetResetWait.suspend_1_1)
1455
       )
1456
  (SetResetWait_step SetResetWait.clear_1_1
1457
                     SetResetWait.reset_1_1
1458
                     SetResetWait.set_1_1
1459
                     SetResetWait.suspend_1_1
1460
                     SetResetWait.s_1_1
1461
                     SetResetWait.__SetResetWait_2_c
1462
                     SetResetWait.__SetResetWait_3_c
1463
                     SetResetWait.__SetResetWait_4_c
1464
                     SetResetWait.__SetResetWait_5_c
1465
                     SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_c
1466
                     SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_c
1467
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1468
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1469
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1470
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1471
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1472
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1473
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1474
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1475
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1476
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_c
1477
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_c
1478
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_c
1479
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_6._arrow._first_c
1480
                     SetResetWait.ni_1._arrow._first_c
1481
                     SetResetWait.__SetResetWait_2_x
1482
                     SetResetWait.__SetResetWait_3_x
1483
                     SetResetWait.__SetResetWait_4_x
1484
                     SetResetWait.__SetResetWait_5_x
1485
                     SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_10_x
1486
                     SetResetWait.ni_0.SetResetWait_SetResetWait.__SetResetWait_SetResetWait_11_x
1487
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1488
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1489
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_2.SetResetWait_SetResetWait_node.ni_7._arrow._first_x
1490
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1491
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1492
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_3.SetResetWait_SetResetWait_node.ni_7._arrow._first_x
1493
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1494
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1495
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_4.SetResetWait_SetResetWait_node.ni_7._arrow._first_x
1496
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_62_x
1497
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.__SetResetWait_SetResetWait_node_63_x
1498
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_5.SetResetWait_SetResetWait_node.ni_7._arrow._first_x
1499
                     SetResetWait.ni_0.SetResetWait_SetResetWait.ni_6._arrow._first_x
1500
                     SetResetWait.ni_1._arrow._first_x)
1501
))
1502