Interface ICheckedExpr