Error instead of crash when generating trees referring to skolems#24380
Merged
smarter merged 2 commits intoscala:mainfrom Nov 13, 2025
Merged
Error instead of crash when generating trees referring to skolems#24380smarter merged 2 commits intoscala:mainfrom
smarter merged 2 commits intoscala:mainfrom