Implementacao da semantica do case