TermSplicingOutOfScope.agda:7,11-29
Panic: unbound variable @3
when checking that the expression @3 has type Set