Parser crash
When I check assertion P with this input
deterministic A = (a -> b -> A | a -> c -> A).
B = (a -> b -> B | a -> c -> B). deterministic ||COMP = (B){a}.
C = (a -> b -> C | a -> c -> C){a}. deterministic ||COMP2 = (C).
const True = 1 fluent F = <a, b> initially True assert P = []F
range N = 1..3
fluent InCritical[i:N] = <enter[i], exit[i]> initially False
assert MUTEX = forall[i:N] forall[j:N] ([]!(InCritical[i] && InCritical[j] && i != j)
which does not parse, (but did before so I have the option of P), I get the crash:
ERROR line:21 - ) expected to end LTL expression **** Runtime Exception: java.lang.NullPointerException: Cannot read field "name" because "this.current" is null