* Documentation actualized

* profiling option -fprof-auto added

* castStatement function added