added semanticChecks package