tempest/resources/3rdparty/sylvan/src/sylvan_obj_sylvan_storm.hpp

static void initCustomMtbdd();