Added the generation of Traces and some testing still different from paper