$ lola --formula="AG hl.3 <= 1" phils10.lola
lola: reading net from phils10.lola
...
lola: read: AG (hl.3 <= 1)
lola: formula length: 14
lola: checking invariance
lola: processing formula
lola: processed formula: hl.3 > 1
...
lola: result: yes
lola: The net satisfies the given formula.
lola: 31787 markings, 54070 edges
