Me surgió una duda con lo de llevar una GLC a FNC.
Cuando se tiene una regla de este estilo:

He visto que en soluciones de parciales se hace algo así:

Pero también he visto que se hace algo así:

¿Cómo puedo saber cuál es la transformación adecuada en cada contexto?