Agda-2.3.2.2: test/fail/SizedTypesVarSwap.err

Termination checking failed for the following functions:
  bad
Problematic calls:
  bad (suc y) x
    (at SizedTypesVarSwap.agda:19,17-20)