Update Utils.h
Update InstTraceLib.c
Merge pull request #44 from DependableSystemsLab/LimitTraceBug

Limit trace bug