Problem:
 .(.(x,y),z) -> .(x,.(y,z))

Proof:
 Bounds Processor:
  bound: 0
  enrichment: match
  automaton:
   final states: {2}
   transitions:
    .0(1,1) -> 2*
    f20() -> 1*
  problem:
   
  Qed