SizedBTree.agda:36,3-41,40
Termination checking failed for the following functions:
  Old.deep2
Problematic calls:
  deep2 {↑ (↑ i)} {A} (node {↑ i} (node {i} l r) t)
  | deep2 {↑ i} {A} (deep2 {↑ i} {A} (node {_} {i} l r))
  deep2 {↑ i} {A} (deep2 {↑ i} {A} (node {_} {i} l r))
    (at SizedBTree.agda:39,38-43)
  deep2 {↑ i} {A} (node {_} {i} l2 r2)
    (at SizedBTree.agda:41,22-27)
SizedBTree.agda:64,3-69,40
Termination checking failed for the following functions:
  New.deep2
Problematic calls:
  deep2 {i} {A} (node {i'} (node {i''} l r) x)
  | deep2 {↑ i''} {A} (deep2 {↑ i''} {A} (node {_} {_} {i''} l r))
  deep2 {↑ i'} {A} (node {_} {_} {i'} l2 r2)
    (at SizedBTree.agda:69,22-27)
