
First & follow symbols:
-----------------------

BoolExpr
first:   variable literal "~" "(" 
follow:  ")" "==" "\n" 

BoolTerm
first:   variable literal "~" "(" 
follow:  "+" ")" "==" "\n" 

BoolFactor
first:   variable literal "~" "(" 
follow:  variable literal "+" "~" "(" ")" "==" "\n" 

BoolEquiv
first:   variable literal "~" "(" 
follow:  EOF variable literal "~" "(" 

BoolEquivs
first:   variable literal "~" "(" 
follow:  EOF 

BoolAssign
first:   variable 
follow:  variable "\n" 

BoolAssigns
first:   variable 
follow:  "\n" 

BoolTests
first:   variable "\n" 
follow:  EOF 

