refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers#242

shigoel merged 4 commits intomainleanprover/LNSym:mainfrom

register-frame-condition-refactorleanprover/LNSym:register-frame-condition-refactorCopy head branch name to clipboard