Added some functions for checking test trace with correct trace