Removed double #ifdef CBMC in fft.c.
Instrumented exponential_integral.c