Failed to solve the following constraints:
  Nat =< _B_21 zero (blocked on _B_21)
Unsolved metas at the following locations:
  Issue2120.agda:16,10-36
  Issue2120.agda:16,48-49
  Issue2120.agda:16,50-54
