Enviar por SMS: Contract-based slicing