Ho creato un nuovo test in asm_examples\rnp\import.
Ho due modelli:
1) il modulo c che definisce due macro
2) il modulo b che definisce una funzione che restituisce una regola
Il problema è che non mi riconosce una regola se all'interno di un RuleAsTerm.
L'import sembra funzionare ma il parser continua a dare errore. Controllare la sintassi dei RuleAsTerm.