finished AST boolean expr