File "tests/typing/errors/var_application/error.smt2", line 2, character 24-29:
2 | (assert (let ((x 0)) (= (x x) 0)))
                            ^^^^^
Error Cannot apply arguments to term variable x
Hint: This statement was parsed as a first-order statement