Routes learned with EIGRP cannot be redistributed to iBGP

[tokonish]

[Problem]

When redistributing a route learned using EIGRP to iBGP, the route is not advertised.
※ios, nxos similar behavior

[Topology]

1. dev2 and dev3 is configured with iBGP of AS 64512.
2. dev3,4 and dev5 is configured with EIGRP of AS 1.
3. In dev3's iBGP AS 64512 settings, routes learned with EIGRP AS 1 are redistributed.

[Config] ※Minimum Config

・ dev1

hostname dev1
!
no ip domain-lookup
!
interface GigabitEthernet0/1
 ip address 10.0.12.1 255.255.255.0
 no shutdown
!
ip route 0.0.0.0 0.0.0.0 10.0.12.2
!
line con 0
 exec-timeout 300 0
 privilege level 15
 logging synchronous
 length 0
!
end

・ dev2

hostname dev2
!
no ip domain-lookup
!
interface GigabitEthernet0/0
 ip address 10.0.12.2 255.255.255.0
 no shutdown
!
interface GigabitEthernet0/1
 ip address 10.0.23.2 255.255.255.0
 no shutdown
!
router bgp 64512
 neighbor 10.0.23.3 remote-as 64512
 redistribute connected
!
line con 0
 exec-timeout 300 0
 privilege level 15
 logging synchronous
 length 0
!
end

・ dev3

hostname dev3
!
no ip domain-lookup
!
interface GigabitEthernet0/0
 ip address 10.0.23.3 255.255.255.0
 no shutdown
!
interface GigabitEthernet0/1
 ip address 10.0.34.3 255.255.255.0
 no shutdown
!
ip access-list extended EIGRP_LIST
 10 permit ip any any
!
ip access-list extended ALL_PERMIT
 permit ip any any
!
route-map EIGRP_MAP permit 10
 match ip address EIGRP_LIST
!
route-map ALL_PERMIT_MAP permit 10
 match ip address ALL_PERMIT
!
router eigrp 1
 default-metric 10000 100 255 1 1500
 network 10.0.23.0 0.0.0.255
 network 10.0.34.0 0.0.0.255
 redistribute bgp 64512 route-map ALL_PERMIT_MAP
!
router bgp 64512
 bgp redistribute-internal
 neighbor 10.0.23.2 remote-as 64512
 redistribute eigrp 1 route-map EIGRP_MAP
!
line con 0
 exec-timeout 300 0
 privilege level 15
 logging synchronous
 length 0
!
end

・ dev4

hostname dev4
!
no ip domain-lookup
!
interface GigabitEthernet0/0
 ip address 10.0.34.4 255.255.255.0
 no shutdown
!
interface GigabitEthernet0/1
 ip address 10.0.45.4 255.255.255.0
 no shutdown
!
router eigrp 1
 default-metric 10000 100 255 1 1500
 network 10.0.34.0 0.0.0.255
 network 10.0.45.0 0.0.0.255
!
line con 0
 exec-timeout 300 0
 privilege level 15
 logging synchronous
 length 0
!
end

・ dev5

hostname dev5
!
no ip domain-lookup
!
interface GigabitEthernet0/0
 ip address 10.0.45.5 255.255.255.0
 no shutdown
!
router eigrp 1
 default-metric 10000 100 255 1 1500
 network 10.0.45.0 0.0.0.255
!
line con 0
 exec-timeout 300 0
 privilege level 15
 logging synchronous
 length 0
!
end

[Result]

Expected Behavior
The expected behavior is that EIGRP learned routes are advertised as iBGP routes in the dev2 route information.

・ router dev2

dev2#show ip route
      10.0.0.0/8 is variably subnetted, 6 subnets, 2 masks
C        10.0.12.0/24 is directly connected, GigabitEthernet0/0
L        10.0.12.2/32 is directly connected, GigabitEthernet0/0
C        10.0.23.0/24 is directly connected, GigabitEthernet0/1
L        10.0.23.2/32 is directly connected, GigabitEthernet0/1
B        10.0.34.0/24 [200/0] via 10.0.23.3, 00:16:44 ★
B        10.0.45.0/24 [200/3072] via 10.0.34.4, 00:16:44 ★

However, when I run batfish ( bfq.routes()) I see that the EIGRP routes are not learned by iBGP.

・ batfish

    Node      VRF       Network                      Next_Hop  ...   Protocol Metric Admin_Distance   Tag
0   dev1  default     0.0.0.0/0                  ip 10.0.12.2  ...     static      0              1  None
1   dev1  default  10.0.12.0/24  interface GigabitEthernet0/1  ...  connected      0              0  None
2   dev1  default  10.0.12.1/32  interface GigabitEthernet0/1  ...      local      0              0  None
3   dev2  default  10.0.12.0/24  interface GigabitEthernet0/0  ...  connected      0              0  None
4   dev2  default  10.0.12.2/32  interface GigabitEthernet0/0  ...      local      0              0  None
5   dev2  default  10.0.23.0/24  interface GigabitEthernet0/1  ...  connected      0              0  None
6   dev2  default  10.0.23.2/32  interface GigabitEthernet0/1  ...      local      0              0  None
7   dev3  default  10.0.12.0/24                  ip 10.0.23.2  ...       ibgp      0            200  None
8   dev3  default  10.0.23.0/24  interface GigabitEthernet0/0  ...  connected      0              0  None