Parse error when running example

Hi,

When running the lydia command inside the Docker, I get a parse error:

```
$ docker run -u root -v lydia-data:/home/default -it whitemech/lydia bash
root@d4e54d9625ed:/home/default# lydia -l ltlf -f counter_1.ltlf --part counter_1.part
[2025-04-17 10:44:36.438] [lydia] [info] [main] Parsing "counter_1.ltlf"
COError: syntax error at 1.5
Parse failed!
```

Best,
Vitor