EVar. Exp3 ::= Ident ;
EInt. Exp3 ::= Integer ;
ENeg. Exp3 ::= "-" Exp3 ;
--- ENot. Exp3 ::= "!" Exp3 ;
+ENot. Exp3 ::= "!" Exp3 ;
EBool. Exp3 ::= Bool ;
EReadI. Exp3 ::= "readInt" ;
EReadB. Exp3 ::= "readBool" ;
-TInt. Type ::= "int" ;
+TInt. Type ::= "int" ;
TBool. Type ::= "bool" ;
-- pragmas