<BinAndExpr> ::= <CompareExpr> ['&&' <BinAndExpr>]
<CompareExpr> ::= <PlusMinExpr> [('==' | '<' | '>' | '<=' | '>=' | '!=') <CompareExpr>]
<PlusMinExpr> ::= <TimesDivExpr> (('+' | '-') <TimesDivExpr>)*
<BinAndExpr> ::= <CompareExpr> ['&&' <BinAndExpr>]
<CompareExpr> ::= <PlusMinExpr> [('==' | '<' | '>' | '<=' | '>=' | '!=') <CompareExpr>]
<PlusMinExpr> ::= <TimesDivExpr> (('+' | '-') <TimesDivExpr>)*