Some improvements on the semantic analysis