Recursive call for testing if an expression can be transformed into a looping tail-recursion.
can_transform_rec(expr, fun_name, fun_call_allowed, cc)
The expression to test
The name of the recursive function we want to transform
Whether a recursive call is allowed at this point
Current continuation, used to escape if the expression cannot be transformed.
TRUE, if the expression can be transformed. Invokes cc
otherwise.