warning: Ignored call to loop_cont_f94/33 in equation f0/33 
warning: Ignored call to f98/33 in equation f96/33 
warning: Ignored call to loop_cont_f94/33 in equation f37/33 
warning: Ignored call to loop_cont_f94/33 in equation f41/33 
warning: Ignored call to loop_cont_f94/33 in equation loop_cont_f48/33 
Warning: the following predicates are never called:[f96/33]