added check-list of semantic errors