#trace +step +search
?
dict ?X
eq ?Y X
qact
eq Y {{ foo 1 }}
qact
.
?
dict ?X {{ foo {{ bar 1 }} }}
member_at X 'foo' ?Y
member_at Y 'bar' ?Z
eq Z 2
member_at Y 'baz' 4
qact
.