**Description** Then final IR module contains external `CPP` variable. `KLEE` fail with ``` KLEE: ERROR: Unable to load symbol ``` **Solution** For solution can be used globals from `Annotation` branch, which now in development.
Description
Then final IR module contains external
CPPvariable.KLEEfail withSolution
For solution can be used globals from
Annotationbranch, which now in development.