*Se crea checkid y addid en la gramatica
Se verifican los id de las opciones
*Se crean nuevos ejemplos
*BUG:  Ver el good_examples/example4.en