/**
 * @name Test for unchecked expression
 */

import csharp

from Method m, UncheckedExpr e
where
  m.hasName("MainChecked") and
  e.getEnclosingCallable() = m and
  e.getExpr().(AddExpr).getLeftOperand().(FieldAccess).getTarget().hasName("f") and
  e.getExpr().(AddExpr).getRightOperand().(IntLiteral).getValue() = "20"
select m, e