TempVars cleaning.
Last bug fixes and messages visualization.
The induction variable has been added again in the loop body.
Presentation material added, plus some bug fixing.
debugging resourcesBoundEstimator