pub fn detect_mutual_tail_recursion(decls: &[LcnfFunDecl]) -> Vec<Vec<String>>Expand description
Detect which pairs of functions in decls are mutually tail-recursive.
Returns a list of strongly-connected components (each SCC is a group of
mutually tail-recursive functions).