fix(semantics): state each formal invariant over the domain it verifies - #4631

fix(semantics): state each formal invariant over the domain it verifies#4631

huangruiteng merged 6 commits into

loopx-project:mainloopx-project/loopx:mainfrom

songoow:codex/invariant-domainsongoow/loopx:codex/invariant-domainCopy head branch name to clipboard