Interprete simbolico funcionando