Add execution trace in pjdtest