+$ #trace +step +search
$ ?
? dict ?X
SetValue 0.X {{ }}
SetBoundValue 0.Z 2
SetBoundValue 0.Y.bar 2
SetValue 0.X.foo.bar 2
-? member_at Y 'baz' 4
+? member_at Y 'baz' ?U
+BindValue 0.U 0.Y.baz
+? eq U 4
+SetBoundValue 0.U 4
AddBoundValue 0.Y.baz 4
AddValue 0.X.foo.baz 4
? qact
BindValue 0.Z 0.Y.bar
AddValue 0.X.foo.baz 4
BindValue 0.Y 0.X.foo
+BindValue 0.U 0.Y.baz
? .
-{{ X {{ foo {{ bar 2 baz 4 }} }} Y {{ bar 2 baz 4 }} Z 2 }}
+{{ U 4 X {{ foo {{ bar 2 baz 4 }} }} Y {{ bar 2 baz 4 }} Z 2 }}