Class ASTAndCondition