I try to run your demo in hugginface [space](https://huggingface.co/spaces/AIatUIUC/CodeLATS/tree/main). I realize that `depth` variable isn't used in [`run_lats` ](https://huggingface.co/spaces/AIatUIUC/CodeLATS/blob/4a557eeddd5a12207653e92971604c1ccb8aaea2/lats/lats.py#L103) function Otherwise, the `depth` variable is used as [`tree_depth`](https://huggingface.co/spaces/AIatUIUC/CodeLATS/blob/main/app.py#L38) May you fix it? Thank you.