Semantic reification: how to generate UB-free code with arbitrary control flow?

Random program generation based on semantic reification (PLDI'26) - connglli/Reify