Enviar por SMS: Equivalence checking using trace partitioning