Recursive function's diverges clause generation was corrected in jessie.