<div dir="ltr">I'm writing a checker and would like to associate program states with a custom data structure, e.g. "struct MyData {...}". When trying REGISTER_TRAIT_WITH_PROGRAMSTATE it doesn't seem to support custom data types. It's a single value so I don't want to use LIST or SET.<br><br>Are there other simple ways to register a single compound value with program state?<br></div>