hola:
como dije en algún post anterior, no sólo está bien completar la función, sino que les recomiendo hacerlo.
en todos los casos, la clase de equivalencia del estado pozo debe darse (faltarían esas tiras de sigma* en caso contrario, y RM es una partición).
en la solución publicada en la web está Xpozo.
saludos,
d.-