232 snake proc name caret on decl

✓ Passing This code compiles and runs correctly.

Code

input.k

Frontend must reject with:

CONTAINS is not allowed in a Koru proc name
ERROR_AT 10