fn find_branch_value_info<'tcx>(
    left: &Operand<'tcx>,
    right: &Operand<'tcx>
) -> Option<(Scalar, Ty<'tcx>, Place<'tcx>)>