Parser doesn't like quantifiers inside brackets

[laMudri]

For the following file:

Axiom: (forall x, True).

I get the error:

Syntax error at line 0, characters 8-14:
I got confused here

In particular, alg can't parse theories/group_inefficient.th.