Class ASTExistsCondition