`cdd_info(state.root)-->type == TYPE_BDD` I wonder how did it work before? :-/ This is such a mess of memory sharing, which needs to be rewritten with move semantics instead. _Originally posted by @mikucionisaau in https://github.com/UPPAALModelChecker/UCDD/pull/31#discussion_r929566843_