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