Atrivial oz code for returning the number of elements of a list can be given by: declare fun {length l} case l of nil then 0 [] h|t then 1+{length t} end end for example, the call {browse {length [1 f 2 3 s 5]}} will display 6. explain why this function is not tail recursive. write an equivalent tail recursive function. write also an invariant for this tail recursive function. using the invariant, prove the correctness for this program.