Replace internal calls to helpers with StaticInflector#43
Merged
olvlvl merged 1 commit intoICanBoogie:mainfrom May 26, 2025
Merged
Replace internal calls to helpers with StaticInflector#43olvlvl merged 1 commit intoICanBoogie:mainfrom
olvlvl merged 1 commit intoICanBoogie:mainfrom
