compare traces based on their aliasing structure and symbols