Function apply_statement_effect 

fn apply_statement_effect<'tcx>(
    analyzer: &FnAliasAnalyzer<'tcx>,
    state: &mut AliasDomain,
    statement: &Statement<'tcx>,
)