Added new semantic checks, labels are missing.