Add "Semantic error" section