Termination checking failed for the following functions: bad Problematic calls: bad′ (at Issue847.agda:6,7-11) bad (at Issue847.agda:10,12-15)