Coq-Tail-Recursion-Detection