Report on std::bad_alloc and PATH_SYMEX_LAZY_BRANCH