fragments/btdemo.notrace

   1 ?
   2 eq ?X {{ a 1 b 2 c 3 }}
   3 eq ?Y {{ d 1 e 2 f 3 }}
   4 member_at X ?XKey ?XValue
   5 member_at Y ?YKey ?YValue
   6 eq XValue 2
   7 eq YValue 2
   8 ...