Telefona gönder: Equivalence checking using trace partitioning