Changed the option horntraces to a general traces optionThis annotation phases would have to be moved in optimization of normalized code
Changed the option horntraces to a general traces option
This annotation phases would have to be moved in optimization of normalized code