TODO:

VOLKER SORGE

0) factorize lin_fetch_function and graph_fetch_function
    and maybe also lin_fetch_statement and graph_fetch_statement
1) bug rappresentazione dei pointer come address
2) traduzione LINToASM ed etichetti uniche
3) funzioni esterne
   3.1) CSC bug in joint/semantics.ma
   3.2) semantica tail calls to external functions
4) codice ERTLToLTL da abbellire

2) spurious PUSH/POP in the syntax,
3) spurious entry/exit label in the syntax
4) spurious sp/isp field in the semantics of all languages but/only RTL

Assiomi traduzione in:
 - LINToASM: fresh_prefix