Symbolically Optimize C Code

Optimize code symbolically by limiting tail recursion of a Fibonacci function.