Generación de Goto's y GotoF's de if's y while's

Verificación semántica pendiente