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