Class ASTAnd