/**
 * @name Test for checked expression
 */

import csharp

from Method m, CheckedExpr e
where
  m.hasName("MainChecked") and
  e.getEnclosingCallable() = m and
  e.getExpr().(PropertyAccess).getTarget().hasName("Name")
select m, e