add test on trace comparator generation