Nuevo parser; contexto es ahora una lista de exprs en yices