to compare traces we have to prove that each corresponding method
argument is equivalent