Function apply_terminator_effect 

fn apply_terminator_effect<'tcx, 'mir>(
    analyzer: &FnAliasAnalyzer<'tcx>,
    state: &mut AliasDomain,
    terminator: &'mir Terminator<'tcx>,
) -> TerminatorEdges<'mir, 'tcx>