Library for symbolic execution of C++ programs