e.g., instead of
source <@ let a,b = t in a,b @> =?
"let b = (let _,index1 = t in index1) in let a = (let index0,_ = t in index0) in (a, b)"
sprint as follows to better align with position based paradigm of tuples:
source <@ let a,b = t in a,b @> =?
"let b = (let _,item2 = t in item2) in let a = (let item1,_ = t in item0) in (a, b)"
note: using lower-case "item" instead of upper-case (compared to underlying
tuple property) since pattern match bindings should use lower-case.