$ lola --search=cover --encoder=full --formula="AG 
Sent2Disp.<NEC-MT1065|Doc2|FALSE> < oo" planner.lola
lola: reading net from planner.lola
...
lola: checking invariance
...
lola: using coverability graph (--search=cover)
lola: result: no
lola: The net does not satisfy the given formula.
lola: 417 markings, 680 edges
