warning: Ignored call to f78/22 in equation f76/22 
warning: Ignored call to loop_cont_f74/22 in equation f73/22 
warning: Ignored call to loop_cont_f74/22 in equation f69/22 
warning: Ignored call to loop_cont_f74/22 in equation f69/22 
warning: Ignored call to loop_cont_f71/22 in equation f69/22 
Warning: the following predicates are never called:[f73/22,f76/22]