fix(inline): terminate fixpoint when no inline survives verification — fixes #147 i64 hang (v1.1.3)#149

avrabe merged 2 commits into

mainpulseengine/loom:mainfrom

fix/147-inline-livelockpulseengine/loom:fix/147-inline-livelockCopy head branch name to clipboard