Allow ! x y sat \varphi(x,y) without brackets

[Bart Bogaerts]

Now, this is not allowed causing in a failing test:

/home/bartb/software/idp/tests/mx/minimization/packing1d.idp

It is very natural to write it without brackets (as did the person writing this test)

[Ingmar Dasseville]

I wrote the test myself, I need to restart my fight with the mad bison for this

[Bart Bogaerts]

Waarschijnlijk ga je om dit werkend te krijgen SAT toch niet mogen toelaten als "identifier".

Wanneer dat niet meer toegelaten is kan de parser (waarschijnlijk) het verschil wel zien.

Als sat ook een variabele mag zijn, zal het moeilijk zijn voor de parser om te weten welk geval het is...