Consertado bug do incremento e implementado análise semântica no retorno de função