Esempio di input:
Data: 30/aprile/2016;
FALSE : VAR a1, VAR B, VAR c;
TRUE : VAR d_2;
NOT a1 AND B;
NOT ( (a1 AND c) OR (B AND d_2) ) : VAR F, VAR h ;
FALSE : VAR m;
TRUE :VAR l, VAR i;
F OR FALSE OR m OR TRUE OR TRUE : VAR R ;

Esempio di output:
a1=FALSE; B=FALSE; c=FALSE;
d_2=TRUE;
FALSE;
F=TRUE; h=TRUE;
m=FALSE;
l=TRUE; i=TRUE;
R=TRUE;


e invece ottengo:
VAR=FALSE; VAR=FALSE; VAR=FALSE;
VAR=TRUE;
FALSE;
VAR=TRUE; VAR=TRUE;
VAR=FALSE;
VAR=TRUE; VAR=TRUE;
VAR=TRUE;

cioè tutte le variabili nominate con la dicitura "VAR" quando invece dovrebbero essere nominate come "a1, B, c, d_2" ecc...
Dove sbaglio?