Support external CPP variables

[ladisgin]

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.