A .cmt parser to assert whether functions are tail-recursive