[FIX] fix the bug of semantic analysis.