(#a)(#b)(#x)
(*x?[z]((#t)z![t]t![z])
|*repli?[]x![a]
|*repli?[]x![b]
|*a?[i]i?[j]trace![j])