Transformation in the readme creates two function objects

Specifically, `fact.x = 1` outside the function and `fact.y = 1` inside the function should create two properties on the same object; additionally, `weakset.add(fact)` both inside and outside the function should result in `weakset.size === 1`.

Do you have an example transformation (not that it would be required at this stage) that maintains these invariants?

Start with the transformation example in the README and trace how `fact.x`, `fact.y`, and `weakset.add(fact)` behave inside and outside the function. Determine whether the proposal can preserve object identity and the stated WeakSet size invariant; done means the example has a clear transformation that preserves both invariants.

Written by the indexing model from the issue text.