add type checking to break circular import#63

sipma merged 1 commit intostatic-analysis-engineering:masterstatic-analysis-engineering/CodeHawk-C:masterfrom

leftbyte:import-type-checkingleftbyte/CodeHawk-C:import-type-checkingCopy head branch name to clipboard