fn find_optimization_oportunities<'tcx>(
    body: &Body<'tcx>
) -> Vec<(Local, Constant<'tcx>)>