Add TANAL-9 test case to linters_test.clj