IDKWNTCMF

**Description** If a type name equals variable name then klee file cannot be compiled in some cases. **Example** ```c typedef struct { int fld; } str; int cas(str *str, int...

**Description** In C we can use nested structs as function parameters without parent struct typename. But wrappers for such functions cannot be compiled with C++ compilers **Example** ```c struct MainStruct...

**Description** In C we can define a struct and a typedef with the same type name. But this won`t compile with C++ compilers. **To Reproduce** Steps to reproduce the behavior:...

**Description** If a file contains extern variables then generated tests cannot be executed. **To Reproduce** Steps to reproduce the behavior: 1. Generate tests for https://github.com/UnitTestBot/UTBotCpp/blob/main/integration-tests/c-example/lib/globals.c 2. Try to run generated...