Verificacao de tipo de resultado de expressoes