El edit script resultante para el ejemplo anterior es el siguiente: