Problem:
 a() -> b()
 a() -> f(a())
 b() -> f(f(b()))
 f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f
                                                                    (
                                                                    f(f(f(f(f(f(f(f(f(b()))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
 -> b()

Proof:
 Open