TerminationWithMerge.agda:19,1-21,12
Unreachable clause
when checking the definition of with-16