72 if (tmp___0 == 2) {
73 {
74#line 19
75 tmp___1 = isPumpRunning();
76 }
77#line 19
78 if (tmp___1) {
79
80 } else {
81 {
82#line 16
83 __automaton_fail();
84 }
85 }
86 } else {
87
88 }
89 }
90#line 16
91 return;
92}
93}
94#line 1 "wsllib_check.o"
95#pragma merger(0,"wsllib_check.i","")
96#line 3 "wsllib_check.c"
97void __automaton_fail(void)
98{
99
100 {
101 goto ERROR;
102 ERROR: ;
103#line 53 "wsllib_check.c"
104 return;
105}
106}
107#line 1 "libacc.o"
108#pragma merger(0,"libacc.i","")
109#line 73 "/usr/include/assert.h"
110extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
111 char const *__file ,
112 unsigned int __line ,