Add code about semantic check.