added a debug option which insert some traces in the output c code