Keep the headline invariant (a call never tracks paths it did not create) and the cross-session snapshot isolation case; the rewritten-args case exercises the same fail-closed branch as the headline test.
Keep the headline invariant (a call never tracks paths it did not create) and the cross-session snapshot isolation case; the rewritten-args case exercises the same fail-closed branch as the headline test.