Add debug statements.
Add t0 and t1 expressions in Fabs_battery.