La función de son_isomorfos tiene dos implementaciones donde la primera es una implementación que no cubre todas las permutaciones de estados, que es más liviana y que no demora tanto en correr, si esa falla se pasa a otra implementación donde cubre todas las permutaciones posibles, la expresión que generaste es mucho más costosa que los casos de prueba actuales y demora mucho más, como la expresión que pasaste debe tener muchos estados no me sorprende que se "tranque" en esa parte, en realidad esta buscando en todas las permutaciones posibles y por eso demora. Una posible solución es que adapten la solución para que corra con la implementación liviana de son_isomorfos (respetando mismos nombres de estado y orden) y si no dejarla correr y esperar, eventualmente debería terminar de correr.