Factor: collapse triplicated alloc recovery into one arm#135

automergerpr-permission-manager[bot] merged 3 commits into

masterruntimeverification/stable-mir-json:masterfrom

cds/refactor-mir-visitorruntimeverification/stable-mir-json:cds/refactor-mir-visitorCopy head branch name to clipboard