warning: Ignored call to loop_cont_f96/33 in equation f0/33 
warning: Ignored call to f100/33 in equation f98/33 
warning: Ignored call to loop_cont_f96/33 in equation f34/33 
warning: Ignored call to loop_cont_f96/33 in equation f39/33 
warning: Ignored call to loop_cont_f96/33 in equation loop_cont_f44/33 
Warning: the following predicates are never called:[f98/33]