A small C++ wrapper for Storm