We need to make sure that our kanren-based rewrites (e.g. conjugates) update the RNG SharedVariable.default_updates; otherwise, we'll get implicit updates that include the original non-conjugated graphs in the compiled results.