| // exact-check | 
 |  | 
 | const EXPECTED = [ | 
 |     { | 
 |         'query': 'R<primitive:slice<P>>', | 
 |         'returned': [], | 
 |         'in_args': [ | 
 |             { 'path': 'slice_array', 'name': 'alpha' }, | 
 |         ], | 
 |     }, | 
 |     { | 
 |         'query': 'primitive:slice<R<P>>', | 
 |         'returned': [ | 
 |             { 'path': 'slice_array', 'name': 'alef' }, | 
 |         ], | 
 |         'in_args': [], | 
 |     }, | 
 |     { | 
 |         'query': 'R<primitive:slice<Q>>', | 
 |         'returned': [], | 
 |         'in_args': [], | 
 |     }, | 
 |     { | 
 |         'query': 'primitive:slice<R<Q>>', | 
 |         'returned': [], | 
 |         'in_args': [], | 
 |     }, | 
 |     { | 
 |         'query': 'R<primitive:array<Q>>', | 
 |         'returned': [ | 
 |             { 'path': 'slice_array', 'name': 'bet' }, | 
 |         ], | 
 |         'in_args': [], | 
 |     }, | 
 |     { | 
 |         'query': 'primitive:array<R<Q>>', | 
 |         'returned': [], | 
 |         'in_args': [ | 
 |             { 'path': 'slice_array', 'name': 'beta' }, | 
 |         ], | 
 |     }, | 
 |     { | 
 |         'query': 'primitive:array<TraitCat>', | 
 |         'in_args': [ | 
 |             { 'path': 'slice_array', 'name': 'gamma' }, | 
 |         ], | 
 |     }, | 
 |     { | 
 |         'query': 'primitive:array<TraitDog>', | 
 |         'in_args': [ | 
 |             { 'path': 'slice_array', 'name': 'gamma' }, | 
 |         ], | 
 |     }, | 
 |     { | 
 |         'query': '[TraitCat]', | 
 |         'in_args': [ | 
 |             { 'path': 'slice_array', 'name': 'gamma' }, | 
 |             { 'path': 'slice_array', 'name': 'epsilon' }, | 
 |         ], | 
 |     }, | 
 |     { | 
 |         'query': 'R<[Q]>', | 
 |         'returned': [ | 
 |             { 'path': 'slice_array', 'name': 'bet' }, | 
 |         ], | 
 |     }, | 
 |     { | 
 |         'query': 'R<[P]>', | 
 |         'in_args': [ | 
 |             { 'path': 'slice_array', 'name': 'alpha' }, | 
 |         ], | 
 |     }, | 
 | ]; |