Called semantic check.