ExistsInsteadOfAny.ql

/**
 * @name Using exists instead of any
 * @description TODO
 * @kind problem
 * @problem.severity warning
 * @id ql/exists-instead-of-any
 * @precision high
 */

import ql

from Exists ex, ComparisonFormula comp, AstNode operand
where
  count(ex.getArgument(_)) = 1 and
  exists(ex.getRange()) and
  not exists(ex.getFormula()) and
  comp = ex.getRange() and
  comp.getOperator() = "=" and
  comp.getAnOperand().(VarAccess).getDeclaration() = ex.getArgument(0) and
  not operand.(VarAccess).getDeclaration() = ex.getArgument(0) and
  operand = comp.getAnOperand() and
  count(VarAccess access | access.getDeclaration() = ex.getArgument(0)) = 1
select ex, "This exists can be simplfied an any(..)."