coolhill

Any duplicates is there bc somewhat different checker naming conventions between the tools (capitalization). Severities levels collected from official [SEI cert page](https://wiki.sei.cmu.edu/confluence/display/cplusplus/2+Rules). L1, L2, L3 = HIGH, MEDIUM, LOW

it makes sense to map severities from the actual severity column and not the level. although I did read something different internally on applying sei cert. anyways it is a...

The compiler seem to cover this case, both for aliased/unaliased imports. ``` $ cairo-compile main.cairo main.cairo:3:6: Redefinition of '__main__.bar'. func bar() -> (): ^*^ ```