Adding trace verification example