Allow multiple arguments in m_action (ex : alice.action[bob](a, b, c)

Forward references are not deleted in the aalprog after their declarations.

Using the same predicate with different arity is not handled by tspass but allowed in AAL.

When using aalc with symbolic links
FileNotFoundError: [Errno 2] No such file or directory: 'tools/linux/fotl-translate'

Some leaves that are action expressions are transformed into Nones. It may be the replace that is the cause but i am not 100% sure

c1 is an LTL formula thus the mondic check fails.

Variables in quantifiers are not shadowed between clauses !
Should be separate references.

The methods seem to work individually but the negations propagation does not seem to be properly finished

With the option -m Monodic test is applied only on the first clause.

Fix it in :
AALChecker.check_monodic()

Lookup not working in lib context :

file1.aal -> TYPE A
file2.aal -> TYPE B EXTENDS A
file3.aal -> TYPE C EXTENDS B (LOAD file2.aal)

lin(C) = B // A is missing

Example :
/**

• .....
• .....
• ......
  .....

/* */

This will produce no parsing errors but gives a wrong AST

UNITL, NEXT, UNLESS

Notes

• We keep the transformation on AAL, since it's useful for other transformations on the language and the translation FOTL -> AAL is significantly more complicated than AAL -> FOLT.
• The "release" operator may be not introduced in AAL, and keep the "sometime" for "~G" - need to be investigated.

Ressources

• On the Relationship between LTL Normal Forms and Buchi Automata
• Recall slides on LTL

Maybe we should consider using d3js instead of draw2d ?

Seen in "wearable.aal" :

Code :
LOAD "wearable.wtypes"
LOAD "wearable.wservices"
LOAD "wearable.wactors"

Result :
[ERROR] lib "wearable.wtypes" not found !
[ERROR] lib "wearable.wservices" not found !
[ERROR] lib "wearable.wactors" not found !

Example with : x.foo(d) causes parsing error due to ambiguity. Change to LL_EXACT_AMBIG_DETECTION works fine but is much slower.

TODO : two passes ?