add instruction trace for sanity check