problemas con la regla 4 de cuadruplos de expreciones

probelmas con el tipo_res no debuelve nada el cubo semantico