Gabriele Monaco [off-list ref] writes:

Just know that this parser is already quite fragile and we are planning a major
refactor using ply with a well-defined grammar and tokenizer, like how the LTL
parser is implemented.

I will get to it after your hybrid automaton stuff is merged, I don't
want to deal with conflict.

Nam