While Blade Ink Rs doesn't currently test itself using Ink Proof, I found an inconsistency between it and other runtimes. bladecoder/blade-ink-rs#4

LIST a = A
LIST b = B
{LIST_ALL(A + B)}

{"inkVersion":21,"root":[["ev",{"VAR?":"A"},{"VAR?":"B"},"+","LIST_ALL","out","/ev","\n",["done",{"#f":5,"#n":"g-0"}],null],"done",{"global decl":["ev",{"list":{},"origins":["a"]},{"VAR=":"a"},{"list":{},"origins":["b"]},{"VAR=":"b"},"/ev","end",null],"#f":1}],"listDefs":{"a":{"A":1},"b":{"B":1}}}

This tests whether LIST_ALL() on a list containing items from two different origins, returns the sum of all of those origins, or only one of them. I expect A, B as the output, rather than just A or just B.