validaciones semanticas de operadores
merging