warning: Ignored call to f300/2 in equation f4/2 warning: Ignored call to f300/2 in equation f4/2 Inferred cost of f4(A,B): f4(A,B):[4]: 1 with precondition: [0>=A+1] f4(A,B):[5]: 1 with precondition: [A>=0] Solved cost expressions of f4(A,B): f4(A,B):[4]: 1 with precondition: [0>=A+1] f4(A,B):[5]: 1 with precondition: [A>=0] Maximum cost of f4(A,B): 1 Asymptotic class: constant Time statistics: Partial evaluation computed in 0 ms. Invariants computed in 1 ms. ----Backward Invariants 0 ms. ----Transitive Invariants 0 ms. Refinement performed in 1 ms. Termination proved in 0 ms. Upper bounds computed in 2 ms. ----Phase cost structures 0 ms. --------Equation cost structures 0 ms. --------Inductive compression(1) 0 ms. --------Inductive compression(2) 0 ms. --------Black Cost 0 ms. ----Chain cost structures 0 ms. ----Solving cost expressions 0 ms. Compressed phase information: 0 Compressed Chains: 0 Compressed invariants: 0 Total analysis performed in 6 ms.