A .cmt parser to assert whether functions are tail-recursive - View it on GitHub