Function check_stmt 

fn check_stmt<'gcx>(
    ctx: &LintContext<'_, '_>,
    gcx: Gcx<'gcx>,
    stmt: &'gcx Stmt<'gcx>,
    tainted: &mut HashSet<VariableId>,
) -> bool