tree-sitter-tlaplus is used at run time in 1 crate.

Depender tree-sitter-tlaplus version
tlauc ^1.5.0