Forse con questi tub_modulation riesco a risolvere il problema dello SCOPE, perche' mi servono a mettere assieme scope diversi, quelli di PRE, POST e SYN.
### IntegrateTunPossibility: Context
....
```Gen
context: IntegrateTunPossibility
contained_by: TUN-AST
in_context: Fixed
rf: 60x
condition: NOT ( someTraces Empty )
out_context: TunPossibile
```
### TUN-AST-SYN: Modulator
L'associazione PRE<->POST fatta con SYN dall'interprete/enliver, e' possibile perche' in POST e PRE si fa riferimento a NT che vengono immessi in SYN. Ovviamente tutto concettuale, ma in enliving il concettuale viene attualizzato.
ATTENZIONE: In effetti devo fare un'associazione come ASTx in base alla dichiarazione in WTA:
Quindi AST deve lavorare per ogni dichiarazione, casomai privilegiando alcune possibilita' che sono piu' impellenti di altre. Lo devo pensare come un AST sovraintende a tante possibili SYN che pero' sono legate ad una dichiarazione specifica che guida quali accoppiamenti fare, poi AST dal proprio punto di vista controlla se ha abbastanza SYN possibili.