Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_SetResetWaitOut / SetResetWaitOut.smt2 @ eb639349

History | View | Annotate | Download (201 KB)

1
(declare-datatypes () ((setresetwaitout_setresetwaitout__type POINTSetResetWaitOut_SetResetWaitOut POINT__TO__SETRESETWAITOUT_OFF_1 SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1 SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1 SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2 SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1 SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2 SETRESETWAITOUT_WAIT_IDL SETRESETWAITOUT_OFF_IDL SETRESETWAITOUT_ON_IDL)));
2

    
3
; SetResetWaitOut_Off_en
4
(declare-var SetResetWaitOut_Off_en.idSetResetWaitOut_SetResetWaitOut_1 Int)
5
(declare-var SetResetWaitOut_Off_en.on_off_1 Int)
6
(declare-var SetResetWaitOut_Off_en.isInner Bool)
7
(declare-var SetResetWaitOut_Off_en.idSetResetWaitOut_SetResetWaitOut Int)
8
(declare-var SetResetWaitOut_Off_en.on_off Int)
9
(declare-var SetResetWaitOut_Off_en.on_off_2 Int)
10
(declare-rel SetResetWaitOut_Off_en (Int Int Bool Int Int))
11
(rule (=> 
12
  (and (and (or (not (= (not SetResetWaitOut_Off_en.isInner) true))
13
               (= SetResetWaitOut_Off_en.on_off_2 0))
14
            (or (not (= (not SetResetWaitOut_Off_en.isInner) false))
15
               (= SetResetWaitOut_Off_en.on_off_2 SetResetWaitOut_Off_en.on_off_1))
16
       )
17
       (= SetResetWaitOut_Off_en.on_off SetResetWaitOut_Off_en.on_off_2)
18
       (= SetResetWaitOut_Off_en.idSetResetWaitOut_SetResetWaitOut 1770)
19
       )
20
  (SetResetWaitOut_Off_en SetResetWaitOut_Off_en.idSetResetWaitOut_SetResetWaitOut_1 SetResetWaitOut_Off_en.on_off_1 SetResetWaitOut_Off_en.isInner SetResetWaitOut_Off_en.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_Off_en.on_off)
21
))
22

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

    
40
; SetResetWaitOut_On_en
41
(declare-var SetResetWaitOut_On_en.idSetResetWaitOut_SetResetWaitOut_1 Int)
42
(declare-var SetResetWaitOut_On_en.on_off_1 Int)
43
(declare-var SetResetWaitOut_On_en.isInner Bool)
44
(declare-var SetResetWaitOut_On_en.idSetResetWaitOut_SetResetWaitOut Int)
45
(declare-var SetResetWaitOut_On_en.on_off Int)
46
(declare-var SetResetWaitOut_On_en.on_off_2 Int)
47
(declare-rel SetResetWaitOut_On_en (Int Int Bool Int Int))
48
(rule (=> 
49
  (and (and (or (not (= (not SetResetWaitOut_On_en.isInner) true))
50
               (= SetResetWaitOut_On_en.on_off_2 1))
51
            (or (not (= (not SetResetWaitOut_On_en.isInner) false))
52
               (= SetResetWaitOut_On_en.on_off_2 SetResetWaitOut_On_en.on_off_1))
53
       )
54
       (= SetResetWaitOut_On_en.on_off SetResetWaitOut_On_en.on_off_2)
55
       (= SetResetWaitOut_On_en.idSetResetWaitOut_SetResetWaitOut 1771)
56
       )
57
  (SetResetWaitOut_On_en SetResetWaitOut_On_en.idSetResetWaitOut_SetResetWaitOut_1 SetResetWaitOut_On_en.on_off_1 SetResetWaitOut_On_en.isInner SetResetWaitOut_On_en.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_On_en.on_off)
58
))
59

    
60
; SetResetWaitOut_Wait_en
61
(declare-var SetResetWaitOut_Wait_en.idSetResetWaitOut_SetResetWaitOut_1 Int)
62
(declare-var SetResetWaitOut_Wait_en.suspended_1 Int)
63
(declare-var SetResetWaitOut_Wait_en.isInner Bool)
64
(declare-var SetResetWaitOut_Wait_en.idSetResetWaitOut_SetResetWaitOut Int)
65
(declare-var SetResetWaitOut_Wait_en.suspended Int)
66
(declare-var SetResetWaitOut_Wait_en.suspended_2 Int)
67
(declare-rel SetResetWaitOut_Wait_en (Int Int Bool Int Int))
68
(rule (=> 
69
  (and (and (or (not (= (not SetResetWaitOut_Wait_en.isInner) true))
70
               (= SetResetWaitOut_Wait_en.suspended_2 1))
71
            (or (not (= (not SetResetWaitOut_Wait_en.isInner) false))
72
               (= SetResetWaitOut_Wait_en.suspended_2 SetResetWaitOut_Wait_en.suspended_1))
73
       )
74
       (= SetResetWaitOut_Wait_en.suspended SetResetWaitOut_Wait_en.suspended_2)
75
       (= SetResetWaitOut_Wait_en.idSetResetWaitOut_SetResetWaitOut 1769)
76
       )
77
  (SetResetWaitOut_Wait_en SetResetWaitOut_Wait_en.idSetResetWaitOut_SetResetWaitOut_1 SetResetWaitOut_Wait_en.suspended_1 SetResetWaitOut_Wait_en.isInner SetResetWaitOut_Wait_en.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_Wait_en.suspended)
78
))
79

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

    
97
; SetResetWaitOut_Wait_ex
98
(declare-var SetResetWaitOut_Wait_ex.suspended_1 Int)
99
(declare-var SetResetWaitOut_Wait_ex.idSetResetWaitOut_SetResetWaitOut_1 Int)
100
(declare-var SetResetWaitOut_Wait_ex.isInner Bool)
101
(declare-var SetResetWaitOut_Wait_ex.suspended Int)
102
(declare-var SetResetWaitOut_Wait_ex.idSetResetWaitOut_SetResetWaitOut Int)
103
(declare-var SetResetWaitOut_Wait_ex.__SetResetWaitOut_Wait_ex_1 Bool)
104
(declare-var SetResetWaitOut_Wait_ex.idSetResetWaitOut_SetResetWaitOut_2 Int)
105
(declare-var SetResetWaitOut_Wait_ex.suspended_2 Int)
106
(declare-rel SetResetWaitOut_Wait_ex (Int Int Bool Int Int))
107
(rule (=> 
108
  (and (= SetResetWaitOut_Wait_ex.__SetResetWaitOut_Wait_ex_1 (not SetResetWaitOut_Wait_ex.isInner))
109
       (and (or (not (= SetResetWaitOut_Wait_ex.__SetResetWaitOut_Wait_ex_1 false))
110
               (and (= SetResetWaitOut_Wait_ex.suspended_2 SetResetWaitOut_Wait_ex.suspended_1)
111
                    (= SetResetWaitOut_Wait_ex.idSetResetWaitOut_SetResetWaitOut_2 SetResetWaitOut_Wait_ex.idSetResetWaitOut_SetResetWaitOut_1)
112
                    ))
113
            (or (not (= SetResetWaitOut_Wait_ex.__SetResetWaitOut_Wait_ex_1 true))
114
               (and (= SetResetWaitOut_Wait_ex.suspended_2 0)
115
                    (= SetResetWaitOut_Wait_ex.idSetResetWaitOut_SetResetWaitOut_2 0)
116
                    ))
117
       )
118
       (= SetResetWaitOut_Wait_ex.suspended SetResetWaitOut_Wait_ex.suspended_2)
119
       (= SetResetWaitOut_Wait_ex.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_Wait_ex.idSetResetWaitOut_SetResetWaitOut_1)
120
       )
121
  (SetResetWaitOut_Wait_ex SetResetWaitOut_Wait_ex.suspended_1 SetResetWaitOut_Wait_ex.idSetResetWaitOut_SetResetWaitOut_1 SetResetWaitOut_Wait_ex.isInner SetResetWaitOut_Wait_ex.suspended SetResetWaitOut_Wait_ex.idSetResetWaitOut_SetResetWaitOut)
122
))
123

    
124
; setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until
125
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.idSetResetWaitOut_SetResetWaitOut_1 Int)
126
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.on_off_1 Int)
127
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.suspended_1 Int)
128
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.setresetwaitout_setresetwaitout__restart_in Bool)
129
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
130
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.idSetResetWaitOut_SetResetWaitOut_out Int)
131
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.on_off_out Int)
132
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.suspended_out Int)
133
(declare-rel setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until (Int Int Int Bool setresetwaitout_setresetwaitout__type Int Int Int))
134
(rule (=> 
135
  (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.suspended_out setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.suspended_1)
136
       (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.setresetwaitout_setresetwaitout__state_in POINTSetResetWaitOut_SetResetWaitOut)
137
       (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.setresetwaitout_setresetwaitout__restart_in false)
138
       (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.on_off_out setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.on_off_1)
139
       (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.idSetResetWaitOut_SetResetWaitOut_1)
140
       )
141
  (setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.idSetResetWaitOut_SetResetWaitOut_1 setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.on_off_1 setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.suspended_1 setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.on_off_out setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until.suspended_out)
142
))
143

    
144
; setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless
145
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_in Bool)
146
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
147
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.idSetResetWaitOut_SetResetWaitOut_1 Int)
148
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.Clear Bool)
149
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.Set Bool)
150
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.Suspend Bool)
151
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.Reset Bool)
152
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_act Bool)
153
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__type)
154
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_1 Bool)
155
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_2 Bool)
156
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_3 Bool)
157
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_4 Bool)
158
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_5 Bool)
159
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_6 Bool)
160
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_7 Bool)
161
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_8 Bool)
162
(declare-var setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_9 Bool)
163
(declare-rel setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless (Bool setresetwaitout_setresetwaitout__type Int Bool Bool Bool Bool Bool setresetwaitout_setresetwaitout__type))
164
(rule (=> 
165
  (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_9 (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.idSetResetWaitOut_SetResetWaitOut_1 1771))
166
       (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_8 (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.idSetResetWaitOut_SetResetWaitOut_1 1770))
167
       (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_7 (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.idSetResetWaitOut_SetResetWaitOut_1 1769))
168
       (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_6 (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.idSetResetWaitOut_SetResetWaitOut_1 1771) setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.Reset))
169
       (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_5 (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.idSetResetWaitOut_SetResetWaitOut_1 1771) setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.Suspend))
170
       (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_4 (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.idSetResetWaitOut_SetResetWaitOut_1 1770) setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.Suspend))
171
       (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_3 (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.idSetResetWaitOut_SetResetWaitOut_1 1770) setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.Set))
172
       (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_2 (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.idSetResetWaitOut_SetResetWaitOut_1 1769) setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.Clear))
173
       (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_1 (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.idSetResetWaitOut_SetResetWaitOut_1 0))
174
       (and (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_1 false))
175
               (and (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_2 false))
176
                       (and (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_3 false))
177
                               (and (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_4 false))
178
                                       (and (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_5 false))
179
                                               (and (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_6 false))
180
                                                       (and (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_7 false))
181
                                                               (and (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_8 false))
182
                                                                    (and 
183
                                                                    (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_9 false))
184
                                                                    (and 
185
                                                                    (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_in)
186
                                                                    (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_in)
187
                                                                    ))
188
                                                                    (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_9 true))
189
                                                                    (and 
190
                                                                    (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_ON_IDL)
191
                                                                    (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_act true)
192
                                                                    ))
193
                                                                    ))
194
                                                                    (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_8 true))
195
                                                                    (and 
196
                                                                    (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_OFF_IDL)
197
                                                                    (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_act true)
198
                                                                    ))
199
                                                               ))
200
                                                            (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_7 true))
201
                                                               (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_WAIT_IDL)
202
                                                                    (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_act true)
203
                                                                    ))
204
                                                       ))
205
                                                    (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_6 true))
206
                                                       (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2)
207
                                                            (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_act true)
208
                                                            ))
209
                                               ))
210
                                            (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_5 true))
211
                                               (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1)
212
                                                    (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_act true)
213
                                                    ))
214
                                       ))
215
                                    (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_4 true))
216
                                       (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2)
217
                                            (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_act true)
218
                                            ))
219
                               ))
220
                            (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_3 true))
221
                               (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1)
222
                                    (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_act true)
223
                                    ))
224
                       ))
225
                    (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_2 true))
226
                       (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1)
227
                            (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_act true)
228
                            ))
229
               ))
230
            (or (not (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.__setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless_1 true))
231
               (and (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_act POINT__TO__SETRESETWAITOUT_OFF_1)
232
                    (= setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_act true)
233
                    ))
234
       )
235
       )
236
  (setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.idSetResetWaitOut_SetResetWaitOut_1 setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.Clear setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.Set setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.Suspend setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.Reset setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless.setresetwaitout_setresetwaitout__state_act)
237
))
238

    
239
; setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until
240
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_1 Int)
241
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_1 Int)
242
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_1 Int)
243
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.setresetwaitout_setresetwaitout__restart_in Bool)
244
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
245
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_out Int)
246
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_out Int)
247
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_out Int)
248
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_2 Int)
249
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_2 Int)
250
(declare-rel setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until (Int Int Int Bool setresetwaitout_setresetwaitout__type Int Int Int))
251
(rule (=> 
252
  (and (= setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_out setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_1)
253
       (= setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.setresetwaitout_setresetwaitout__state_in POINTSetResetWaitOut_SetResetWaitOut)
254
       (= setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.setresetwaitout_setresetwaitout__restart_in true)
255
       (SetResetWaitOut_Off_en setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_1
256
                               setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_1
257
                               false
258
                               setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_2
259
                               setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_2)
260
       (= setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_out setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_2)
261
       (= setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_2)
262
       )
263
  (setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_1 setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_1 setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_1 setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_out setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_out)
264
))
265

    
266
; setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless
267
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__restart_in Bool)
268
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
269
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__restart_act Bool)
270
(declare-var setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__type)
271
(declare-rel setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless (Bool setresetwaitout_setresetwaitout__type Bool setresetwaitout_setresetwaitout__type))
272
(rule (=> 
273
  (and (= setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__state_in)
274
       (= setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__restart_in)
275
       )
276
  (setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__state_act)
277
))
278

    
279
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until
280
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_1 Int)
281
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.on_off_1 Int)
282
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.suspended_1 Int)
283
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.setresetwaitout_setresetwaitout__restart_in Bool)
284
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
285
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_out Int)
286
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.on_off_out Int)
287
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.suspended_out Int)
288
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until (Int Int Int Bool setresetwaitout_setresetwaitout__type Int Int Int))
289
(rule (=> 
290
  (and (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.suspended_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.suspended_1)
291
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.setresetwaitout_setresetwaitout__state_in POINTSetResetWaitOut_SetResetWaitOut)
292
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.setresetwaitout_setresetwaitout__restart_in true)
293
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.on_off_1)
294
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_1)
295
       )
296
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.on_off_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.suspended_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until.suspended_out)
297
))
298

    
299
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless
300
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless.setresetwaitout_setresetwaitout__restart_in Bool)
301
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
302
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless.setresetwaitout_setresetwaitout__restart_act Bool)
303
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__type)
304
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless (Bool setresetwaitout_setresetwaitout__type Bool setresetwaitout_setresetwaitout__type))
305
(rule (=> 
306
  (and (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless.setresetwaitout_setresetwaitout__state_in)
307
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless.setresetwaitout_setresetwaitout__restart_in)
308
       )
309
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless.setresetwaitout_setresetwaitout__state_act)
310
))
311

    
312
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until
313
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.idSetResetWaitOut_SetResetWaitOut_1 Int)
314
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.on_off_1 Int)
315
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.suspended_1 Int)
316
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.setresetwaitout_setresetwaitout__restart_in Bool)
317
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
318
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.idSetResetWaitOut_SetResetWaitOut_out Int)
319
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.on_off_out Int)
320
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.suspended_out Int)
321
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.idSetResetWaitOut_SetResetWaitOut_2 Int)
322
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.idSetResetWaitOut_SetResetWaitOut_3 Int)
323
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.on_off_2 Int)
324
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until (Int Int Int Bool setresetwaitout_setresetwaitout__type Int Int Int))
325
(rule (=> 
326
  (and (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.suspended_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.suspended_1)
327
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.setresetwaitout_setresetwaitout__state_in POINTSetResetWaitOut_SetResetWaitOut)
328
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.setresetwaitout_setresetwaitout__restart_in true)
329
       (SetResetWaitOut_Off_ex setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.idSetResetWaitOut_SetResetWaitOut_1
330
                               false
331
                               setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.idSetResetWaitOut_SetResetWaitOut_2)
332
       (SetResetWaitOut_On_en setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.idSetResetWaitOut_SetResetWaitOut_2
333
                              setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.on_off_1
334
                              false
335
                              setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.idSetResetWaitOut_SetResetWaitOut_3
336
                              setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.on_off_2)
337
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.on_off_2)
338
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.idSetResetWaitOut_SetResetWaitOut_3)
339
       )
340
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.idSetResetWaitOut_SetResetWaitOut_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.on_off_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.suspended_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until.suspended_out)
341
))
342

    
343
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless
344
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless.setresetwaitout_setresetwaitout__restart_in Bool)
345
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
346
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless.setresetwaitout_setresetwaitout__restart_act Bool)
347
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__type)
348
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless (Bool setresetwaitout_setresetwaitout__type Bool setresetwaitout_setresetwaitout__type))
349
(rule (=> 
350
  (and (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless.setresetwaitout_setresetwaitout__state_in)
351
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless.setresetwaitout_setresetwaitout__restart_in)
352
       )
353
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless.setresetwaitout_setresetwaitout__state_act)
354
))
355

    
356
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until
357
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.idSetResetWaitOut_SetResetWaitOut_1 Int)
358
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.on_off_1 Int)
359
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.suspended_1 Int)
360
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.setresetwaitout_setresetwaitout__restart_in Bool)
361
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
362
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.idSetResetWaitOut_SetResetWaitOut_out Int)
363
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.on_off_out Int)
364
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.suspended_out Int)
365
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.idSetResetWaitOut_SetResetWaitOut_2 Int)
366
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.idSetResetWaitOut_SetResetWaitOut_3 Int)
367
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.suspended_2 Int)
368
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until (Int Int Int Bool setresetwaitout_setresetwaitout__type Int Int Int))
369
(rule (=> 
370
  (and (SetResetWaitOut_Off_ex setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.idSetResetWaitOut_SetResetWaitOut_1
371
                               false
372
                               setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.idSetResetWaitOut_SetResetWaitOut_2)
373
       (SetResetWaitOut_Wait_en setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.idSetResetWaitOut_SetResetWaitOut_2
374
                                setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.suspended_1
375
                                false
376
                                setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.idSetResetWaitOut_SetResetWaitOut_3
377
                                setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.suspended_2)
378
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.suspended_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.suspended_2)
379
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.setresetwaitout_setresetwaitout__state_in POINTSetResetWaitOut_SetResetWaitOut)
380
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.setresetwaitout_setresetwaitout__restart_in true)
381
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.on_off_1)
382
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.idSetResetWaitOut_SetResetWaitOut_3)
383
       )
384
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.idSetResetWaitOut_SetResetWaitOut_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.on_off_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.suspended_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until.suspended_out)
385
))
386

    
387
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless
388
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless.setresetwaitout_setresetwaitout__restart_in Bool)
389
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
390
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless.setresetwaitout_setresetwaitout__restart_act Bool)
391
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__type)
392
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless (Bool setresetwaitout_setresetwaitout__type Bool setresetwaitout_setresetwaitout__type))
393
(rule (=> 
394
  (and (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless.setresetwaitout_setresetwaitout__state_in)
395
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless.setresetwaitout_setresetwaitout__restart_in)
396
       )
397
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless.setresetwaitout_setresetwaitout__state_act)
398
))
399

    
400
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until
401
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_1 Int)
402
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.on_off_1 Int)
403
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.suspended_1 Int)
404
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.setresetwaitout_setresetwaitout__restart_in Bool)
405
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
406
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_out Int)
407
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.on_off_out Int)
408
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.suspended_out Int)
409
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until (Int Int Int Bool setresetwaitout_setresetwaitout__type Int Int Int))
410
(rule (=> 
411
  (and (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.suspended_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.suspended_1)
412
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.setresetwaitout_setresetwaitout__state_in POINTSetResetWaitOut_SetResetWaitOut)
413
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.setresetwaitout_setresetwaitout__restart_in true)
414
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.on_off_1)
415
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_1)
416
       )
417
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.on_off_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.suspended_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until.suspended_out)
418
))
419

    
420
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless
421
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless.setresetwaitout_setresetwaitout__restart_in Bool)
422
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
423
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless.setresetwaitout_setresetwaitout__restart_act Bool)
424
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__type)
425
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless (Bool setresetwaitout_setresetwaitout__type Bool setresetwaitout_setresetwaitout__type))
426
(rule (=> 
427
  (and (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless.setresetwaitout_setresetwaitout__state_in)
428
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless.setresetwaitout_setresetwaitout__restart_in)
429
       )
430
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless.setresetwaitout_setresetwaitout__state_act)
431
))
432

    
433
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until
434
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.idSetResetWaitOut_SetResetWaitOut_1 Int)
435
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.on_off_1 Int)
436
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.suspended_1 Int)
437
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.setresetwaitout_setresetwaitout__restart_in Bool)
438
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
439
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.idSetResetWaitOut_SetResetWaitOut_out Int)
440
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.on_off_out Int)
441
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.suspended_out Int)
442
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.idSetResetWaitOut_SetResetWaitOut_2 Int)
443
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.idSetResetWaitOut_SetResetWaitOut_3 Int)
444
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.on_off_2 Int)
445
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until (Int Int Int Bool setresetwaitout_setresetwaitout__type Int Int Int))
446
(rule (=> 
447
  (and (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.suspended_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.suspended_1)
448
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.setresetwaitout_setresetwaitout__state_in POINTSetResetWaitOut_SetResetWaitOut)
449
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.setresetwaitout_setresetwaitout__restart_in true)
450
       (SetResetWaitOut_On_ex setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.idSetResetWaitOut_SetResetWaitOut_1
451
                              false
452
                              setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.idSetResetWaitOut_SetResetWaitOut_2)
453
       (SetResetWaitOut_Off_en setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.idSetResetWaitOut_SetResetWaitOut_2
454
                               setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.on_off_1
455
                               false
456
                               setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.idSetResetWaitOut_SetResetWaitOut_3
457
                               setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.on_off_2)
458
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.on_off_2)
459
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.idSetResetWaitOut_SetResetWaitOut_3)
460
       )
461
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.idSetResetWaitOut_SetResetWaitOut_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.on_off_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.suspended_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until.suspended_out)
462
))
463

    
464
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless
465
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless.setresetwaitout_setresetwaitout__restart_in Bool)
466
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
467
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless.setresetwaitout_setresetwaitout__restart_act Bool)
468
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__type)
469
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless (Bool setresetwaitout_setresetwaitout__type Bool setresetwaitout_setresetwaitout__type))
470
(rule (=> 
471
  (and (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless.setresetwaitout_setresetwaitout__state_in)
472
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless.setresetwaitout_setresetwaitout__restart_in)
473
       )
474
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless.setresetwaitout_setresetwaitout__state_act)
475
))
476

    
477
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until
478
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.idSetResetWaitOut_SetResetWaitOut_1 Int)
479
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.on_off_1 Int)
480
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.suspended_1 Int)
481
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.setresetwaitout_setresetwaitout__restart_in Bool)
482
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
483
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.idSetResetWaitOut_SetResetWaitOut_out Int)
484
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.on_off_out Int)
485
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.suspended_out Int)
486
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.idSetResetWaitOut_SetResetWaitOut_2 Int)
487
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.idSetResetWaitOut_SetResetWaitOut_3 Int)
488
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.suspended_2 Int)
489
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until (Int Int Int Bool setresetwaitout_setresetwaitout__type Int Int Int))
490
(rule (=> 
491
  (and (SetResetWaitOut_On_ex setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.idSetResetWaitOut_SetResetWaitOut_1
492
                              false
493
                              setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.idSetResetWaitOut_SetResetWaitOut_2)
494
       (SetResetWaitOut_Wait_en setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.idSetResetWaitOut_SetResetWaitOut_2
495
                                setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.suspended_1
496
                                false
497
                                setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.idSetResetWaitOut_SetResetWaitOut_3
498
                                setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.suspended_2)
499
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.suspended_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.suspended_2)
500
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.setresetwaitout_setresetwaitout__state_in POINTSetResetWaitOut_SetResetWaitOut)
501
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.setresetwaitout_setresetwaitout__restart_in true)
502
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.on_off_1)
503
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.idSetResetWaitOut_SetResetWaitOut_3)
504
       )
505
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.idSetResetWaitOut_SetResetWaitOut_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.on_off_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.suspended_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until.suspended_out)
506
))
507

    
508
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless
509
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless.setresetwaitout_setresetwaitout__restart_in Bool)
510
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
511
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless.setresetwaitout_setresetwaitout__restart_act Bool)
512
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__type)
513
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless (Bool setresetwaitout_setresetwaitout__type Bool setresetwaitout_setresetwaitout__type))
514
(rule (=> 
515
  (and (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless.setresetwaitout_setresetwaitout__state_in)
516
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless.setresetwaitout_setresetwaitout__restart_in)
517
       )
518
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless.setresetwaitout_setresetwaitout__state_act)
519
))
520

    
521
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until
522
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_1 Int)
523
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.on_off_1 Int)
524
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.suspended_1 Int)
525
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.setresetwaitout_setresetwaitout__restart_in Bool)
526
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
527
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_out Int)
528
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.on_off_out Int)
529
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.suspended_out Int)
530
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until (Int Int Int Bool setresetwaitout_setresetwaitout__type Int Int Int))
531
(rule (=> 
532
  (and (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.suspended_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.suspended_1)
533
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.setresetwaitout_setresetwaitout__state_in POINTSetResetWaitOut_SetResetWaitOut)
534
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.setresetwaitout_setresetwaitout__restart_in true)
535
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.on_off_1)
536
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_1)
537
       )
538
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.on_off_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.suspended_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until.suspended_out)
539
))
540

    
541
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless
542
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless.setresetwaitout_setresetwaitout__restart_in Bool)
543
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
544
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless.setresetwaitout_setresetwaitout__restart_act Bool)
545
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__type)
546
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless (Bool setresetwaitout_setresetwaitout__type Bool setresetwaitout_setresetwaitout__type))
547
(rule (=> 
548
  (and (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless.setresetwaitout_setresetwaitout__state_in)
549
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless.setresetwaitout_setresetwaitout__restart_in)
550
       )
551
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless.setresetwaitout_setresetwaitout__state_act)
552
))
553

    
554
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until
555
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_1 Int)
556
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_1 Int)
557
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_1 Int)
558
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.setresetwaitout_setresetwaitout__restart_in Bool)
559
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
560
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_out Int)
561
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_out Int)
562
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_out Int)
563
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_2 Int)
564
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_3 Int)
565
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_2 Int)
566
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_2 Int)
567
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until (Int Int Int Bool setresetwaitout_setresetwaitout__type Int Int Int))
568
(rule (=> 
569
  (and (SetResetWaitOut_Wait_ex setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_1
570
                                setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_1
571
                                false
572
                                setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_2
573
                                setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_2)
574
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_2)
575
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.setresetwaitout_setresetwaitout__state_in POINTSetResetWaitOut_SetResetWaitOut)
576
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.setresetwaitout_setresetwaitout__restart_in true)
577
       (SetResetWaitOut_Off_en setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_2
578
                               setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_1
579
                               false
580
                               setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_3
581
                               setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_2)
582
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_2)
583
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_3)
584
       )
585
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_1 setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.idSetResetWaitOut_SetResetWaitOut_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.on_off_out setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until.suspended_out)
586
))
587

    
588
; setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless
589
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__restart_in Bool)
590
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
591
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__restart_act Bool)
592
(declare-var setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__type)
593
(declare-rel setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless (Bool setresetwaitout_setresetwaitout__type Bool setresetwaitout_setresetwaitout__type))
594
(rule (=> 
595
  (and (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__state_in)
596
       (= setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__restart_in)
597
       )
598
  (setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__restart_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__restart_act setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless.setresetwaitout_setresetwaitout__state_act)
599
))
600

    
601
; SetResetWaitOut_SetResetWaitOut_node
602
(declare-var SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut_1 Int)
603
(declare-var SetResetWaitOut_SetResetWaitOut_node.on_off_1 Int)
604
(declare-var SetResetWaitOut_SetResetWaitOut_node.Clear Bool)
605
(declare-var SetResetWaitOut_SetResetWaitOut_node.suspended_1 Int)
606
(declare-var SetResetWaitOut_SetResetWaitOut_node.Set Bool)
607
(declare-var SetResetWaitOut_SetResetWaitOut_node.Suspend Bool)
608
(declare-var SetResetWaitOut_SetResetWaitOut_node.Reset Bool)
609
(declare-var SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut Int)
610
(declare-var SetResetWaitOut_SetResetWaitOut_node.on_off Int)
611
(declare-var SetResetWaitOut_SetResetWaitOut_node.suspended Int)
612
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c Bool)
613
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c setresetwaitout_setresetwaitout__type)
614
(declare-var SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c Bool)
615
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m Bool)
616
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m setresetwaitout_setresetwaitout__type)
617
(declare-var SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m Bool)
618
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x Bool)
619
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x setresetwaitout_setresetwaitout__type)
620
(declare-var SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x Bool)
621
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_1 Bool)
622
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_10 setresetwaitout_setresetwaitout__type)
623
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_11 Bool)
624
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_12 setresetwaitout_setresetwaitout__type)
625
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_13 Bool)
626
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_14 setresetwaitout_setresetwaitout__type)
627
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_15 Bool)
628
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_16 setresetwaitout_setresetwaitout__type)
629
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_17 Bool)
630
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_18 setresetwaitout_setresetwaitout__type)
631
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_19 Bool)
632
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_2 setresetwaitout_setresetwaitout__type)
633
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_20 setresetwaitout_setresetwaitout__type)
634
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_21 Bool)
635
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_22 setresetwaitout_setresetwaitout__type)
636
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_23 Int)
637
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_24 Int)
638
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_25 Int)
639
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_26 Bool)
640
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_27 setresetwaitout_setresetwaitout__type)
641
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_28 Int)
642
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_29 Int)
643
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_3 Bool)
644
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_30 Int)
645
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_31 Bool)
646
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_32 setresetwaitout_setresetwaitout__type)
647
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_33 Int)
648
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_34 Int)
649
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_35 Int)
650
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_36 Bool)
651
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_37 setresetwaitout_setresetwaitout__type)
652
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_38 Int)
653
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_39 Int)
654
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_4 setresetwaitout_setresetwaitout__type)
655
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_40 Int)
656
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_41 Bool)
657
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_42 setresetwaitout_setresetwaitout__type)
658
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_43 Int)
659
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_44 Int)
660
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_45 Int)
661
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_46 Bool)
662
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_47 setresetwaitout_setresetwaitout__type)
663
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_48 Int)
664
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_49 Int)
665
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_5 Bool)
666
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_50 Int)
667
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_51 Bool)
668
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_52 setresetwaitout_setresetwaitout__type)
669
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_53 Int)
670
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_54 Int)
671
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_55 Int)
672
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_56 Bool)
673
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_57 setresetwaitout_setresetwaitout__type)
674
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_58 Int)
675
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_59 Int)
676
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_6 setresetwaitout_setresetwaitout__type)
677
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_60 Int)
678
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_61 Bool)
679
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_62 setresetwaitout_setresetwaitout__type)
680
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_63 Int)
681
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_64 Int)
682
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_65 Int)
683
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_66 Bool)
684
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_67 setresetwaitout_setresetwaitout__type)
685
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_68 Int)
686
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_69 Int)
687
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_7 Bool)
688
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_70 Int)
689
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_71 Bool)
690
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_8 setresetwaitout_setresetwaitout__type)
691
(declare-var SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_9 Bool)
692
(declare-var SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_restart_in Bool)
693
(declare-var SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_state_in setresetwaitout_setresetwaitout__type)
694
(declare-var SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_act Bool)
695
(declare-var SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_in Bool)
696
(declare-var SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act setresetwaitout_setresetwaitout__type)
697
(declare-var SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in setresetwaitout_setresetwaitout__type)
698
(declare-rel SetResetWaitOut_SetResetWaitOut_node_reset (Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool))
699
(declare-rel SetResetWaitOut_SetResetWaitOut_node_step (Int Int Bool Int Bool Bool Bool Int Int Int Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool))
700

    
701
(rule (=> 
702
  (and 
703
       (= SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c)
704
       (= SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c)
705
       (= SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m true)
706
  )
707
  (SetResetWaitOut_SetResetWaitOut_node_reset SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
708
                                              SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
709
                                              SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
710
                                              SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
711
                                              SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
712
                                              SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m)
713
))
714

    
715
(rule (=> 
716
  (and (= SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c)
717
       (and (= SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_71 (ite SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m true false))
718
            (= SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x false))
719
       (and (or (not (= SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_71 false))
720
               (and (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c)
721
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c)
722
                    ))
723
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_71 true))
724
               (and (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in POINTSetResetWaitOut_SetResetWaitOut)
725
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_in false)
726
                    ))
727
       )
728
       (and (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in POINTSetResetWaitOut_SetResetWaitOut))
729
               (and (setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_unless 
730
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_in
731
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in
732
                    SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut_1
733
                    SetResetWaitOut_SetResetWaitOut_node.Clear
734
                    SetResetWaitOut_SetResetWaitOut_node.Set
735
                    SetResetWaitOut_SetResetWaitOut_node.Suspend
736
                    SetResetWaitOut_SetResetWaitOut_node.Reset
737
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_19
738
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_20)
739
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_20)
740
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_19)
741
                    ))
742
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in POINT__TO__SETRESETWAITOUT_OFF_1))
743
               (and (setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_unless 
744
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_in
745
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in
746
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_17
747
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_18)
748
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_18)
749
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_17)
750
                    ))
751
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in SETRESETWAITOUT_OFF_IDL))
752
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_unless 
753
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_in
754
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in
755
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_3
756
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_4)
757
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_4)
758
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_3)
759
                    ))
760
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1))
761
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_unless 
762
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_in
763
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in
764
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_13
765
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_14)
766
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_14)
767
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_13)
768
                    ))
769
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2))
770
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_unless 
771
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_in
772
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in
773
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_11
774
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_12)
775
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_12)
776
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_11)
777
                    ))
778
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in SETRESETWAITOUT_ON_IDL))
779
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_unless 
780
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_in
781
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in
782
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_1
783
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_2)
784
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_2)
785
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_1)
786
                    ))
787
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2))
788
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_unless 
789
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_in
790
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in
791
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_7
792
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_8)
793
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_8)
794
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_7)
795
                    ))
796
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1))
797
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_unless 
798
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_in
799
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in
800
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_9
801
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_10)
802
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_10)
803
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_9)
804
                    ))
805
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in SETRESETWAITOUT_WAIT_IDL))
806
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_unless 
807
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_in
808
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in
809
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_5
810
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_6)
811
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_6)
812
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_5)
813
                    ))
814
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1))
815
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_unless 
816
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_in
817
                    SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_in
818
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_15
819
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_16)
820
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_16)
821
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__restart_act SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_15)
822
                    ))
823
       )
824
       (and (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act POINTSetResetWaitOut_SetResetWaitOut))
825
               (and (setresetwaitout_setresetwaitout__POINTSetResetWaitOut_SetResetWaitOut_handler_until 
826
                    SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut_1
827
                    SetResetWaitOut_SetResetWaitOut_node.on_off_1
828
                    SetResetWaitOut_SetResetWaitOut_node.suspended_1
829
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_66
830
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_67
831
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_68
832
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_69
833
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_70)
834
                    (= SetResetWaitOut_SetResetWaitOut_node.suspended SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_70)
835
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_state_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_67)
836
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_restart_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_66)
837
                    (= SetResetWaitOut_SetResetWaitOut_node.on_off SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_69)
838
                    (= SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_68)
839
                    ))
840
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act POINT__TO__SETRESETWAITOUT_OFF_1))
841
               (and (setresetwaitout_setresetwaitout__POINT__TO__SETRESETWAITOUT_OFF_1_handler_until 
842
                    SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut_1
843
                    SetResetWaitOut_SetResetWaitOut_node.on_off_1
844
                    SetResetWaitOut_SetResetWaitOut_node.suspended_1
845
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_61
846
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_62
847
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_63
848
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_64
849
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_65)
850
                    (= SetResetWaitOut_SetResetWaitOut_node.suspended SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_65)
851
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_state_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_62)
852
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_restart_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_61)
853
                    (= SetResetWaitOut_SetResetWaitOut_node.on_off SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_64)
854
                    (= SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_63)
855
                    ))
856
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_OFF_IDL))
857
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF_IDL_handler_until 
858
                    SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut_1
859
                    SetResetWaitOut_SetResetWaitOut_node.on_off_1
860
                    SetResetWaitOut_SetResetWaitOut_node.suspended_1
861
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_26
862
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_27
863
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_28
864
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_29
865
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_30)
866
                    (= SetResetWaitOut_SetResetWaitOut_node.suspended SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_30)
867
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_state_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_27)
868
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_restart_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_26)
869
                    (= SetResetWaitOut_SetResetWaitOut_node.on_off SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_29)
870
                    (= SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_28)
871
                    ))
872
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1))
873
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_ON_1_handler_until 
874
                    SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut_1
875
                    SetResetWaitOut_SetResetWaitOut_node.on_off_1
876
                    SetResetWaitOut_SetResetWaitOut_node.suspended_1
877
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_51
878
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_52
879
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_53
880
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_54
881
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_55)
882
                    (= SetResetWaitOut_SetResetWaitOut_node.suspended SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_55)
883
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_state_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_52)
884
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_restart_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_51)
885
                    (= SetResetWaitOut_SetResetWaitOut_node.on_off SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_54)
886
                    (= SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_53)
887
                    ))
888
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2))
889
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_OFF__TO__SETRESETWAITOUT_WAIT_2_handler_until 
890
                    SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut_1
891
                    SetResetWaitOut_SetResetWaitOut_node.on_off_1
892
                    SetResetWaitOut_SetResetWaitOut_node.suspended_1
893
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_46
894
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_47
895
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_48
896
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_49
897
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_50)
898
                    (= SetResetWaitOut_SetResetWaitOut_node.suspended SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_50)
899
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_state_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_47)
900
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_restart_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_46)
901
                    (= SetResetWaitOut_SetResetWaitOut_node.on_off SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_49)
902
                    (= SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_48)
903
                    ))
904
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_ON_IDL))
905
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON_IDL_handler_until 
906
                    SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut_1
907
                    SetResetWaitOut_SetResetWaitOut_node.on_off_1
908
                    SetResetWaitOut_SetResetWaitOut_node.suspended_1
909
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_21
910
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_22
911
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_23
912
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_24
913
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_25)
914
                    (= SetResetWaitOut_SetResetWaitOut_node.suspended SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_25)
915
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_state_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_22)
916
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_restart_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_21)
917
                    (= SetResetWaitOut_SetResetWaitOut_node.on_off SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_24)
918
                    (= SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_23)
919
                    ))
920
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2))
921
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_OFF_2_handler_until 
922
                    SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut_1
923
                    SetResetWaitOut_SetResetWaitOut_node.on_off_1
924
                    SetResetWaitOut_SetResetWaitOut_node.suspended_1
925
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_36
926
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_37
927
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_38
928
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_39
929
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_40)
930
                    (= SetResetWaitOut_SetResetWaitOut_node.suspended SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_40)
931
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_state_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_37)
932
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_restart_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_36)
933
                    (= SetResetWaitOut_SetResetWaitOut_node.on_off SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_39)
934
                    (= SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_38)
935
                    ))
936
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1))
937
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_ON__TO__SETRESETWAITOUT_WAIT_1_handler_until 
938
                    SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut_1
939
                    SetResetWaitOut_SetResetWaitOut_node.on_off_1
940
                    SetResetWaitOut_SetResetWaitOut_node.suspended_1
941
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_41
942
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_42
943
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_43
944
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_44
945
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_45)
946
                    (= SetResetWaitOut_SetResetWaitOut_node.suspended SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_45)
947
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_state_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_42)
948
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_restart_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_41)
949
                    (= SetResetWaitOut_SetResetWaitOut_node.on_off SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_44)
950
                    (= SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_43)
951
                    ))
952
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_WAIT_IDL))
953
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT_IDL_handler_until 
954
                    SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut_1
955
                    SetResetWaitOut_SetResetWaitOut_node.on_off_1
956
                    SetResetWaitOut_SetResetWaitOut_node.suspended_1
957
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_31
958
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_32
959
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_33
960
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_34
961
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_35)
962
                    (= SetResetWaitOut_SetResetWaitOut_node.suspended SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_35)
963
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_state_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_32)
964
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_restart_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_31)
965
                    (= SetResetWaitOut_SetResetWaitOut_node.on_off SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_34)
966
                    (= SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_33)
967
                    ))
968
            (or (not (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__state_act SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1))
969
               (and (setresetwaitout_setresetwaitout__SETRESETWAITOUT_WAIT__TO__SETRESETWAITOUT_OFF_1_handler_until 
970
                    SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut_1
971
                    SetResetWaitOut_SetResetWaitOut_node.on_off_1
972
                    SetResetWaitOut_SetResetWaitOut_node.suspended_1
973
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_56
974
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_57
975
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_58
976
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_59
977
                    SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_60)
978
                    (= SetResetWaitOut_SetResetWaitOut_node.suspended SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_60)
979
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_state_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_57)
980
                    (= SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_restart_in SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_56)
981
                    (= SetResetWaitOut_SetResetWaitOut_node.on_off SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_59)
982
                    (= SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_58)
983
                    ))
984
       )
985
       (= SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_state_in)
986
       (= SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x SetResetWaitOut_SetResetWaitOut_node.setresetwaitout_setresetwaitout__next_restart_in)
987
       )
988
  (SetResetWaitOut_SetResetWaitOut_node_step SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut_1
989
                                             SetResetWaitOut_SetResetWaitOut_node.on_off_1
990
                                             SetResetWaitOut_SetResetWaitOut_node.Clear
991
                                             SetResetWaitOut_SetResetWaitOut_node.suspended_1
992
                                             SetResetWaitOut_SetResetWaitOut_node.Set
993
                                             SetResetWaitOut_SetResetWaitOut_node.Suspend
994
                                             SetResetWaitOut_SetResetWaitOut_node.Reset
995
                                             SetResetWaitOut_SetResetWaitOut_node.idSetResetWaitOut_SetResetWaitOut
996
                                             SetResetWaitOut_SetResetWaitOut_node.on_off
997
                                             SetResetWaitOut_SetResetWaitOut_node.suspended
998
                                             SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
999
                                             SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1000
                                             SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1001
                                             SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1002
                                             SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1003
                                             SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x)
1004
))
1005

    
1006
; SetResetWaitOut_SetResetWaitOut
1007
(declare-var SetResetWaitOut_SetResetWaitOut.off_val Int)
1008
(declare-var SetResetWaitOut_SetResetWaitOut.on_val Int)
1009
(declare-var SetResetWaitOut_SetResetWaitOut.Clear Bool)
1010
(declare-var SetResetWaitOut_SetResetWaitOut.Reset Bool)
1011
(declare-var SetResetWaitOut_SetResetWaitOut.Set Bool)
1012
(declare-var SetResetWaitOut_SetResetWaitOut.Suspend Bool)
1013
(declare-var SetResetWaitOut_SetResetWaitOut.on_off Int)
1014
(declare-var SetResetWaitOut_SetResetWaitOut.suspended Int)
1015
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_c Int)
1016
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_c Int)
1017
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_c Int)
1018
(declare-var SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c Bool)
1019
(declare-var SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c setresetwaitout_setresetwaitout__type)
1020
(declare-var SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c Bool)
1021
(declare-var SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c Bool)
1022
(declare-var SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c setresetwaitout_setresetwaitout__type)
1023
(declare-var SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c Bool)
1024
(declare-var SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c Bool)
1025
(declare-var SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c setresetwaitout_setresetwaitout__type)
1026
(declare-var SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c Bool)
1027
(declare-var SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c Bool)
1028
(declare-var SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c setresetwaitout_setresetwaitout__type)
1029
(declare-var SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c Bool)
1030
(declare-var SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_c Bool)
1031
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_m Int)
1032
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_m Int)
1033
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_m Int)
1034
(declare-var SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m Bool)
1035
(declare-var SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m setresetwaitout_setresetwaitout__type)
1036
(declare-var SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m Bool)
1037
(declare-var SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m Bool)
1038
(declare-var SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m setresetwaitout_setresetwaitout__type)
1039
(declare-var SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m Bool)
1040
(declare-var SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m Bool)
1041
(declare-var SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m setresetwaitout_setresetwaitout__type)
1042
(declare-var SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m Bool)
1043
(declare-var SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m Bool)
1044
(declare-var SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m setresetwaitout_setresetwaitout__type)
1045
(declare-var SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m Bool)
1046
(declare-var SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_m Bool)
1047
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_x Int)
1048
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_x Int)
1049
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_x Int)
1050
(declare-var SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x Bool)
1051
(declare-var SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x setresetwaitout_setresetwaitout__type)
1052
(declare-var SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x Bool)
1053
(declare-var SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x Bool)
1054
(declare-var SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x setresetwaitout_setresetwaitout__type)
1055
(declare-var SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x Bool)
1056
(declare-var SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x Bool)
1057
(declare-var SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x setresetwaitout_setresetwaitout__type)
1058
(declare-var SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x Bool)
1059
(declare-var SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x Bool)
1060
(declare-var SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x setresetwaitout_setresetwaitout__type)
1061
(declare-var SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x Bool)
1062
(declare-var SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_x Bool)
1063
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_1 Int)
1064
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_10 Int)
1065
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_11 Int)
1066
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_12 Int)
1067
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_13 Bool)
1068
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_2 Int)
1069
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_3 Int)
1070
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_4 Int)
1071
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_5 Int)
1072
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_6 Int)
1073
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_7 Int)
1074
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_8 Int)
1075
(declare-var SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_9 Int)
1076
(declare-var SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut Int)
1077
(declare-var SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_1 Int)
1078
(declare-var SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_2 Int)
1079
(declare-var SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_3 Int)
1080
(declare-var SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_4 Int)
1081
(declare-var SetResetWaitOut_SetResetWaitOut.on_off_1 Int)
1082
(declare-var SetResetWaitOut_SetResetWaitOut.on_off_2 Int)
1083
(declare-var SetResetWaitOut_SetResetWaitOut.on_off_3 Int)
1084
(declare-var SetResetWaitOut_SetResetWaitOut.on_off_4 Int)
1085
(declare-var SetResetWaitOut_SetResetWaitOut.suspended_1 Int)
1086
(declare-var SetResetWaitOut_SetResetWaitOut.suspended_2 Int)
1087
(declare-var SetResetWaitOut_SetResetWaitOut.suspended_3 Int)
1088
(declare-var SetResetWaitOut_SetResetWaitOut.suspended_4 Int)
1089
(declare-rel SetResetWaitOut_SetResetWaitOut_reset (Int Int Int Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool Int Int Int Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool))
1090
(declare-rel SetResetWaitOut_SetResetWaitOut_step (Int Int Bool Bool Bool Bool Int Int Int Int Int Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool Int Int Int Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool))
1091

    
1092
(rule (=> 
1093
  (and 
1094
       (= SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_m SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_c)
1095
       (= SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_m SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_c)
1096
       (= SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_m SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_c)
1097
       (= SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_m true)
1098
       (SetResetWaitOut_SetResetWaitOut_node_reset SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1099
                                                   SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1100
                                                   SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1101
                                                   SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1102
                                                   SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1103
                                                   SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m)
1104
       (SetResetWaitOut_SetResetWaitOut_node_reset SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1105
                                                   SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1106
                                                   SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1107
                                                   SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1108
                                                   SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1109
                                                   SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m)
1110
       (SetResetWaitOut_SetResetWaitOut_node_reset SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1111
                                                   SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1112
                                                   SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1113
                                                   SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1114
                                                   SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1115
                                                   SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m)
1116
       (SetResetWaitOut_SetResetWaitOut_node_reset SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1117
                                                   SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1118
                                                   SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1119
                                                   SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1120
                                                   SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1121
                                                   SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m)
1122
  )
1123
  (SetResetWaitOut_SetResetWaitOut_reset SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_c
1124
                                         SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_c
1125
                                         SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_c
1126
                                         SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1127
                                         SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1128
                                         SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1129
                                         SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1130
                                         SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1131
                                         SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1132
                                         SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1133
                                         SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1134
                                         SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1135
                                         SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1136
                                         SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1137
                                         SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1138
                                         SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_c
1139
                                         SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_m
1140
                                         SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_m
1141
                                         SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_m
1142
                                         SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1143
                                         SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1144
                                         SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1145
                                         SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1146
                                         SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1147
                                         SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1148
                                         SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1149
                                         SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1150
                                         SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1151
                                         SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1152
                                         SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1153
                                         SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1154
                                         SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_m)
1155
))
1156

    
1157
(rule (=> 
1158
  (and (= SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_m SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_c)
1159
       (and (= SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_13 (ite SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_m true false))
1160
            (= SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_x false))
1161
       (and (or (not (= SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_13 false))
1162
               (and (= SetResetWaitOut_SetResetWaitOut.suspended_1 SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_c)
1163
                    (= SetResetWaitOut_SetResetWaitOut.on_off_1 SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_c)
1164
                    (= SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_1 SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_c)
1165
                    ))
1166
            (or (not (= SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_13 true))
1167
               (and (= SetResetWaitOut_SetResetWaitOut.suspended_1 0)
1168
                    (= SetResetWaitOut_SetResetWaitOut.on_off_1 0)
1169
                    (= SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_1 0)
1170
                    ))
1171
       )
1172
       (and (= SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c)
1173
            (= SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c)
1174
            (= SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c)
1175
            )
1176
       (SetResetWaitOut_SetResetWaitOut_node_step SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_1
1177
                                                  SetResetWaitOut_SetResetWaitOut.on_off_1
1178
                                                  SetResetWaitOut_SetResetWaitOut.Clear
1179
                                                  SetResetWaitOut_SetResetWaitOut.suspended_1
1180
                                                  false
1181
                                                  false
1182
                                                  false
1183
                                                  SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_10
1184
                                                  SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_11
1185
                                                  SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_12
1186
                                                  SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1187
                                                  SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1188
                                                  SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1189
                                                  SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1190
                                                  SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1191
                                                  SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x)
1192
       (and (or (not (= SetResetWaitOut_SetResetWaitOut.Clear false))
1193
               (and (= SetResetWaitOut_SetResetWaitOut.suspended_2 SetResetWaitOut_SetResetWaitOut.suspended_1)
1194
                    (= SetResetWaitOut_SetResetWaitOut.on_off_2 SetResetWaitOut_SetResetWaitOut.on_off_1)
1195
                    (= SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_2 SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_1)
1196
                    ))
1197
            (or (not (= SetResetWaitOut_SetResetWaitOut.Clear true))
1198
               (and (= SetResetWaitOut_SetResetWaitOut.suspended_2 SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_12)
1199
                    (= SetResetWaitOut_SetResetWaitOut.on_off_2 SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_11)
1200
                    (= SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_2 SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_10)
1201
                    ))
1202
       )
1203
       (and (= SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c)
1204
            (= SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c)
1205
            (= SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c)
1206
            )
1207
       (SetResetWaitOut_SetResetWaitOut_node_step SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_2
1208
                                                  SetResetWaitOut_SetResetWaitOut.on_off_2
1209
                                                  false
1210
                                                  SetResetWaitOut_SetResetWaitOut.suspended_2
1211
                                                  false
1212
                                                  false
1213
                                                  SetResetWaitOut_SetResetWaitOut.Reset
1214
                                                  SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_7
1215
                                                  SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_8
1216
                                                  SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_9
1217
                                                  SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1218
                                                  SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1219
                                                  SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1220
                                                  SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1221
                                                  SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1222
                                                  SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x)
1223
       (and (or (not (= SetResetWaitOut_SetResetWaitOut.Reset false))
1224
               (and (= SetResetWaitOut_SetResetWaitOut.suspended_3 SetResetWaitOut_SetResetWaitOut.suspended_2)
1225
                    (= SetResetWaitOut_SetResetWaitOut.on_off_3 SetResetWaitOut_SetResetWaitOut.on_off_2)
1226
                    (= SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_3 SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_2)
1227
                    ))
1228
            (or (not (= SetResetWaitOut_SetResetWaitOut.Reset true))
1229
               (and (= SetResetWaitOut_SetResetWaitOut.suspended_3 SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_9)
1230
                    (= SetResetWaitOut_SetResetWaitOut.on_off_3 SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_8)
1231
                    (= SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_3 SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_7)
1232
                    ))
1233
       )
1234
       (and (= SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c)
1235
            (= SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c)
1236
            (= SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c)
1237
            )
1238
       (SetResetWaitOut_SetResetWaitOut_node_step SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_3
1239
                                                  SetResetWaitOut_SetResetWaitOut.on_off_3
1240
                                                  false
1241
                                                  SetResetWaitOut_SetResetWaitOut.suspended_3
1242
                                                  SetResetWaitOut_SetResetWaitOut.Set
1243
                                                  false
1244
                                                  false
1245
                                                  SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_4
1246
                                                  SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_5
1247
                                                  SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_6
1248
                                                  SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1249
                                                  SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1250
                                                  SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1251
                                                  SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1252
                                                  SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1253
                                                  SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x)
1254
       (and (or (not (= SetResetWaitOut_SetResetWaitOut.Set false))
1255
               (and (= SetResetWaitOut_SetResetWaitOut.suspended_4 SetResetWaitOut_SetResetWaitOut.suspended_3)
1256
                    (= SetResetWaitOut_SetResetWaitOut.on_off_4 SetResetWaitOut_SetResetWaitOut.on_off_3)
1257
                    (= SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_4 SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_3)
1258
                    ))
1259
            (or (not (= SetResetWaitOut_SetResetWaitOut.Set true))
1260
               (and (= SetResetWaitOut_SetResetWaitOut.suspended_4 SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_6)
1261
                    (= SetResetWaitOut_SetResetWaitOut.on_off_4 SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_5)
1262
                    (= SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_4 SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_4)
1263
                    ))
1264
       )
1265
       (and (= SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c)
1266
            (= SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c)
1267
            (= SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c)
1268
            )
1269
       (SetResetWaitOut_SetResetWaitOut_node_step SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_4
1270
                                                  SetResetWaitOut_SetResetWaitOut.on_off_4
1271
                                                  false
1272
                                                  SetResetWaitOut_SetResetWaitOut.suspended_4
1273
                                                  false
1274
                                                  SetResetWaitOut_SetResetWaitOut.Suspend
1275
                                                  false
1276
                                                  SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_1
1277
                                                  SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_2
1278
                                                  SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_3
1279
                                                  SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1280
                                                  SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1281
                                                  SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1282
                                                  SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1283
                                                  SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1284
                                                  SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x)
1285
       (and (or (not (= SetResetWaitOut_SetResetWaitOut.Suspend false))
1286
               (and (= SetResetWaitOut_SetResetWaitOut.suspended SetResetWaitOut_SetResetWaitOut.suspended_4)
1287
                    (= SetResetWaitOut_SetResetWaitOut.on_off SetResetWaitOut_SetResetWaitOut.on_off_4)
1288
                    (= SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut_4)
1289
                    ))
1290
            (or (not (= SetResetWaitOut_SetResetWaitOut.Suspend true))
1291
               (and (= SetResetWaitOut_SetResetWaitOut.suspended SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_3)
1292
                    (= SetResetWaitOut_SetResetWaitOut.on_off SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_2)
1293
                    (= SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_1)
1294
                    ))
1295
       )
1296
       (= SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_x SetResetWaitOut_SetResetWaitOut.on_off)
1297
       (= SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_x SetResetWaitOut_SetResetWaitOut.suspended)
1298
       (= SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_x SetResetWaitOut_SetResetWaitOut.idSetResetWaitOut_SetResetWaitOut)
1299
       )
1300
  (SetResetWaitOut_SetResetWaitOut_step SetResetWaitOut_SetResetWaitOut.off_val
1301
                                        SetResetWaitOut_SetResetWaitOut.on_val
1302
                                        SetResetWaitOut_SetResetWaitOut.Clear
1303
                                        SetResetWaitOut_SetResetWaitOut.Reset
1304
                                        SetResetWaitOut_SetResetWaitOut.Set
1305
                                        SetResetWaitOut_SetResetWaitOut.Suspend
1306
                                        SetResetWaitOut_SetResetWaitOut.on_off
1307
                                        SetResetWaitOut_SetResetWaitOut.suspended
1308
                                        SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_c
1309
                                        SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_c
1310
                                        SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_c
1311
                                        SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1312
                                        SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1313
                                        SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1314
                                        SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1315
                                        SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1316
                                        SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1317
                                        SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1318
                                        SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1319
                                        SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1320
                                        SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1321
                                        SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1322
                                        SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1323
                                        SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_c
1324
                                        SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_x
1325
                                        SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_x
1326
                                        SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_x
1327
                                        SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1328
                                        SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1329
                                        SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x
1330
                                        SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1331
                                        SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1332
                                        SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x
1333
                                        SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1334
                                        SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1335
                                        SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x
1336
                                        SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1337
                                        SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1338
                                        SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x
1339
                                        SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_x)
1340
))
1341

    
1342
; SetResetWaitOut
1343
(declare-var SetResetWaitOut.clear_1_1 Real)
1344
(declare-var SetResetWaitOut.reset_1_1 Real)
1345
(declare-var SetResetWaitOut.set_1_1 Real)
1346
(declare-var SetResetWaitOut.suspend_1_1 Real)
1347
(declare-var SetResetWaitOut.off_val_1_1 Int)
1348
(declare-var SetResetWaitOut.on_val_1_1 Int)
1349
(declare-var SetResetWaitOut.on_off_1_1 Int)
1350
(declare-var SetResetWaitOut.suspended_2_1 Int)
1351
(declare-var SetResetWaitOut.__SetResetWaitOut_2_c Real)
1352
(declare-var SetResetWaitOut.__SetResetWaitOut_3_c Real)
1353
(declare-var SetResetWaitOut.__SetResetWaitOut_4_c Real)
1354
(declare-var SetResetWaitOut.__SetResetWaitOut_5_c Real)
1355
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_c Int)
1356
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_c Int)
1357
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_c Int)
1358
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c Bool)
1359
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c setresetwaitout_setresetwaitout__type)
1360
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c Bool)
1361
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c Bool)
1362
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c setresetwaitout_setresetwaitout__type)
1363
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c Bool)
1364
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c Bool)
1365
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c setresetwaitout_setresetwaitout__type)
1366
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c Bool)
1367
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c Bool)
1368
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c setresetwaitout_setresetwaitout__type)
1369
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c Bool)
1370
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_c Bool)
1371
(declare-var SetResetWaitOut.ni_1._arrow._first_c Bool)
1372
(declare-var SetResetWaitOut.__SetResetWaitOut_2_m Real)
1373
(declare-var SetResetWaitOut.__SetResetWaitOut_3_m Real)
1374
(declare-var SetResetWaitOut.__SetResetWaitOut_4_m Real)
1375
(declare-var SetResetWaitOut.__SetResetWaitOut_5_m Real)
1376
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_m Int)
1377
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_m Int)
1378
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_m Int)
1379
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m Bool)
1380
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m setresetwaitout_setresetwaitout__type)
1381
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m Bool)
1382
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m Bool)
1383
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m setresetwaitout_setresetwaitout__type)
1384
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m Bool)
1385
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m Bool)
1386
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m setresetwaitout_setresetwaitout__type)
1387
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m Bool)
1388
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m Bool)
1389
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m setresetwaitout_setresetwaitout__type)
1390
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m Bool)
1391
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_m Bool)
1392
(declare-var SetResetWaitOut.ni_1._arrow._first_m Bool)
1393
(declare-var SetResetWaitOut.__SetResetWaitOut_2_x Real)
1394
(declare-var SetResetWaitOut.__SetResetWaitOut_3_x Real)
1395
(declare-var SetResetWaitOut.__SetResetWaitOut_4_x Real)
1396
(declare-var SetResetWaitOut.__SetResetWaitOut_5_x Real)
1397
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_x Int)
1398
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_x Int)
1399
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_x Int)
1400
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x Bool)
1401
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x setresetwaitout_setresetwaitout__type)
1402
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x Bool)
1403
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x Bool)
1404
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x setresetwaitout_setresetwaitout__type)
1405
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x Bool)
1406
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x Bool)
1407
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x setresetwaitout_setresetwaitout__type)
1408
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x Bool)
1409
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x Bool)
1410
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x setresetwaitout_setresetwaitout__type)
1411
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x Bool)
1412
(declare-var SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_x Bool)
1413
(declare-var SetResetWaitOut.ni_1._arrow._first_x Bool)
1414
(declare-var SetResetWaitOut.SetResetWaitOutMux_1_1_event Bool)
1415
(declare-var SetResetWaitOut.SetResetWaitOutMux_1_2_event Bool)
1416
(declare-var SetResetWaitOut.SetResetWaitOutMux_1_3_event Bool)
1417
(declare-var SetResetWaitOut.SetResetWaitOutMux_1_4_event Bool)
1418
(declare-var SetResetWaitOut.SetResetWaitOut_1_1 Int)
1419
(declare-var SetResetWaitOut.SetResetWaitOut_2_1 Int)
1420
(declare-var SetResetWaitOut.__SetResetWaitOut_1 Bool)
1421
(declare-var SetResetWaitOut.i_virtual_local Real)
1422
(declare-rel SetResetWaitOut_reset (Real Real Real Real Int Int Int Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool Bool Real Real Real Real Int Int Int Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool Bool))
1423
(declare-rel SetResetWaitOut_step (Real Real Real Real Int Int Int Int Real Real Real Real Int Int Int Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool Bool Real Real Real Real Int Int Int Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool setresetwaitout_setresetwaitout__type Bool Bool Bool))
1424

    
1425
(rule (=> 
1426
  (and 
1427
       (= SetResetWaitOut.__SetResetWaitOut_2_m SetResetWaitOut.__SetResetWaitOut_2_c)
1428
       (= SetResetWaitOut.__SetResetWaitOut_3_m SetResetWaitOut.__SetResetWaitOut_3_c)
1429
       (= SetResetWaitOut.__SetResetWaitOut_4_m SetResetWaitOut.__SetResetWaitOut_4_c)
1430
       (= SetResetWaitOut.__SetResetWaitOut_5_m SetResetWaitOut.__SetResetWaitOut_5_c)
1431
       (= SetResetWaitOut.ni_1._arrow._first_m true)
1432
       (SetResetWaitOut_SetResetWaitOut_reset SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_c
1433
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_c
1434
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_c
1435
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1436
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1437
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1438
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1439
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1440
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1441
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1442
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1443
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1444
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1445
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1446
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1447
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_c
1448
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_m
1449
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_m
1450
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_m
1451
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1452
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1453
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1454
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1455
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1456
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1457
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1458
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1459
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1460
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1461
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1462
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1463
                                              SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_m)
1464
  )
1465
  (SetResetWaitOut_reset SetResetWaitOut.__SetResetWaitOut_2_c
1466
                         SetResetWaitOut.__SetResetWaitOut_3_c
1467
                         SetResetWaitOut.__SetResetWaitOut_4_c
1468
                         SetResetWaitOut.__SetResetWaitOut_5_c
1469
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_c
1470
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_c
1471
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_c
1472
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1473
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1474
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1475
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1476
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1477
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1478
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1479
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1480
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1481
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1482
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1483
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1484
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_c
1485
                         SetResetWaitOut.ni_1._arrow._first_c
1486
                         SetResetWaitOut.__SetResetWaitOut_2_m
1487
                         SetResetWaitOut.__SetResetWaitOut_3_m
1488
                         SetResetWaitOut.__SetResetWaitOut_4_m
1489
                         SetResetWaitOut.__SetResetWaitOut_5_m
1490
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_m
1491
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_m
1492
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_m
1493
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1494
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1495
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1496
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1497
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1498
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1499
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1500
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1501
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1502
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1503
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1504
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1505
                         SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_m
1506
                         SetResetWaitOut.ni_1._arrow._first_m)
1507
))
1508

    
1509
(rule (=> 
1510
  (and (= SetResetWaitOut.ni_1._arrow._first_m SetResetWaitOut.ni_1._arrow._first_c)
1511
       (and (= SetResetWaitOut.__SetResetWaitOut_1 (ite SetResetWaitOut.ni_1._arrow._first_m true false))
1512
            (= SetResetWaitOut.ni_1._arrow._first_x false))
1513
       (and (or (not (= SetResetWaitOut.__SetResetWaitOut_1 true))
1514
               (= SetResetWaitOut.SetResetWaitOutMux_1_4_event false))
1515
            (or (not (= SetResetWaitOut.__SetResetWaitOut_1 false))
1516
               (= SetResetWaitOut.SetResetWaitOutMux_1_4_event (or (and (> SetResetWaitOut.__SetResetWaitOut_2_c 0.) (<= SetResetWaitOut.suspend_1_1 0.)) (and (<= SetResetWaitOut.__SetResetWaitOut_2_c 0.) (> SetResetWaitOut.suspend_1_1 0.)))))
1517
       )
1518
       (and (or (not (= SetResetWaitOut.__SetResetWaitOut_1 true))
1519
               (= SetResetWaitOut.SetResetWaitOutMux_1_3_event false))
1520
            (or (not (= SetResetWaitOut.__SetResetWaitOut_1 false))
1521
               (= SetResetWaitOut.SetResetWaitOutMux_1_3_event (or (and (> SetResetWaitOut.__SetResetWaitOut_3_c 0.) (<= SetResetWaitOut.set_1_1 0.)) (and (<= SetResetWaitOut.__SetResetWaitOut_3_c 0.) (> SetResetWaitOut.set_1_1 0.)))))
1522
       )
1523
       (and (or (not (= SetResetWaitOut.__SetResetWaitOut_1 true))
1524
               (= SetResetWaitOut.SetResetWaitOutMux_1_2_event false))
1525
            (or (not (= SetResetWaitOut.__SetResetWaitOut_1 false))
1526
               (= SetResetWaitOut.SetResetWaitOutMux_1_2_event (or (and (> SetResetWaitOut.__SetResetWaitOut_4_c 0.) (<= SetResetWaitOut.reset_1_1 0.)) (and (<= SetResetWaitOut.__SetResetWaitOut_4_c 0.) (> SetResetWaitOut.reset_1_1 0.)))))
1527
       )
1528
       (and (or (not (= SetResetWaitOut.__SetResetWaitOut_1 true))
1529
               (= SetResetWaitOut.SetResetWaitOutMux_1_1_event false))
1530
            (or (not (= SetResetWaitOut.__SetResetWaitOut_1 false))
1531
               (= SetResetWaitOut.SetResetWaitOutMux_1_1_event (or (and (> SetResetWaitOut.__SetResetWaitOut_5_c 0.) (<= SetResetWaitOut.clear_1_1 0.)) (and (<= SetResetWaitOut.__SetResetWaitOut_5_c 0.) (> SetResetWaitOut.clear_1_1 0.)))))
1532
       )
1533
       (and (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_c)
1534
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_c)
1535
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_c)
1536
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c)
1537
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c)
1538
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c)
1539
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c)
1540
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c)
1541
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c)
1542
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c)
1543
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c)
1544
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c)
1545
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c)
1546
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c)
1547
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c)
1548
            (= SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_m SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_c)
1549
            )
1550
       (SetResetWaitOut_SetResetWaitOut_step SetResetWaitOut.off_val_1_1
1551
                                             SetResetWaitOut.on_val_1_1
1552
                                             SetResetWaitOut.SetResetWaitOutMux_1_1_event
1553
                                             SetResetWaitOut.SetResetWaitOutMux_1_2_event
1554
                                             SetResetWaitOut.SetResetWaitOutMux_1_3_event
1555
                                             SetResetWaitOut.SetResetWaitOutMux_1_4_event
1556
                                             SetResetWaitOut.SetResetWaitOut_1_1
1557
                                             SetResetWaitOut.SetResetWaitOut_2_1
1558
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_m
1559
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_m
1560
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_m
1561
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1562
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1563
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1564
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1565
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1566
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1567
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1568
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1569
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1570
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_m
1571
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_m
1572
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_m
1573
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_m
1574
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_x
1575
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_x
1576
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_x
1577
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1578
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1579
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x
1580
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1581
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1582
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x
1583
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1584
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1585
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x
1586
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1587
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1588
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x
1589
                                             SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_x)
1590
       (= SetResetWaitOut.suspended_2_1 SetResetWaitOut.SetResetWaitOut_2_1)
1591
       (= SetResetWaitOut.on_off_1_1 SetResetWaitOut.SetResetWaitOut_1_1)
1592
       (and (or (not (= SetResetWaitOut.__SetResetWaitOut_1 true))
1593
               (= SetResetWaitOut.i_virtual_local 0.))
1594
            (or (not (= SetResetWaitOut.__SetResetWaitOut_1 false))
1595
               (= SetResetWaitOut.i_virtual_local 1.))
1596
       )
1597
       (= SetResetWaitOut.__SetResetWaitOut_5_x SetResetWaitOut.clear_1_1)
1598
       (= SetResetWaitOut.__SetResetWaitOut_4_x SetResetWaitOut.reset_1_1)
1599
       (= SetResetWaitOut.__SetResetWaitOut_3_x SetResetWaitOut.set_1_1)
1600
       (= SetResetWaitOut.__SetResetWaitOut_2_x SetResetWaitOut.suspend_1_1)
1601
       )
1602
  (SetResetWaitOut_step SetResetWaitOut.clear_1_1
1603
                        SetResetWaitOut.reset_1_1
1604
                        SetResetWaitOut.set_1_1
1605
                        SetResetWaitOut.suspend_1_1
1606
                        SetResetWaitOut.off_val_1_1
1607
                        SetResetWaitOut.on_val_1_1
1608
                        SetResetWaitOut.on_off_1_1
1609
                        SetResetWaitOut.suspended_2_1
1610
                        SetResetWaitOut.__SetResetWaitOut_2_c
1611
                        SetResetWaitOut.__SetResetWaitOut_3_c
1612
                        SetResetWaitOut.__SetResetWaitOut_4_c
1613
                        SetResetWaitOut.__SetResetWaitOut_5_c
1614
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_c
1615
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_c
1616
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_c
1617
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1618
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1619
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1620
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1621
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1622
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1623
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1624
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1625
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1626
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_c
1627
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_c
1628
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_c
1629
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_c
1630
                        SetResetWaitOut.ni_1._arrow._first_c
1631
                        SetResetWaitOut.__SetResetWaitOut_2_x
1632
                        SetResetWaitOut.__SetResetWaitOut_3_x
1633
                        SetResetWaitOut.__SetResetWaitOut_4_x
1634
                        SetResetWaitOut.__SetResetWaitOut_5_x
1635
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_14_x
1636
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_15_x
1637
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.__SetResetWaitOut_SetResetWaitOut_16_x
1638
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1639
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1640
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_2.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x
1641
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1642
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1643
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_3.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x
1644
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1645
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1646
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_4.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x
1647
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_72_x
1648
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.__SetResetWaitOut_SetResetWaitOut_node_73_x
1649
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_5.SetResetWaitOut_SetResetWaitOut_node.ni_7._arrow._first_x
1650
                        SetResetWaitOut.ni_0.SetResetWaitOut_SetResetWaitOut.ni_6._arrow._first_x
1651
                        SetResetWaitOut.ni_1._arrow._first_x)
1652
))
1653