812 if (tmp___0 == 2) {
813 {
814#line 19
815 tmp___1 = isPumpRunning();
816 }
817#line 19
818 if (tmp___1) {
819
820 } else {
821 {
822#line 16
823 __automaton_fail();
824 }
825 }
826 } else {
827
828 }
829 }
830#line 16
831 return;
832}
833}
834#line 1 "wsllib_check.o"
835#pragma merger(0,"wsllib_check.i","")
836#line 3 "wsllib_check.c"
837void __automaton_fail(void)
838{
839
840 {
841 goto ERROR;
842 ERROR: ;
843#line 53 "wsllib_check.c"
844 return;
845}
846}
847#line 1 "MinePump.o"
848#pragma merger(0,"MinePump.i","")
849#line 4 "MinePump.h"
850void timeShift(void) ;
851#line 6
852void activatePump(void) ;