Include stdlib.h in test4/example.c

This removes the warning: implicit declaration of function 'atoi' is
invalid in C99
Remove the invariant related record in trace files

The record/print/type of invariants are useless in giri code.
Format the Utils.h