882#line 20 "featureselect.c"
883void select_helpers(void)
884{
885
886 {
887#line 111 "featureselect.c"
888 return;
889}
890}
891#line 25 "featureselect.c"
892int valid_product(void)
893{ int retValue_acc ;
894
895 {
896#line 129 "featureselect.c"
897 retValue_acc = 1;
898#line 131
899 return (retValue_acc);
900#line 138
901 return (retValue_acc);
902}
903}
904#line 1 "wsllib_check.o"
905#pragma merger(0,"wsllib_check.i","")
906#line 3 "wsllib_check.c"
907void __automaton_fail(void)
908{
909
910 {
911 goto ERROR;
912 ERROR: ;
913#line 53 "wsllib_check.c"
914 return;
915}
916}
917#line 1 "Specification3_spec.o"
918#pragma merger(0,"Specification3_spec.i","")
919#line 12 "Environment.h"
920int getWaterLevel(void) ;
921#line 11 "Specification3_spec.c"
922void __utac_acc__Specification3_spec__1(void)