Congruencias automáticas para diagonales de funciones racionales