This explains why we don't have to worry about bcb0 having multiple in-edges.
custom_encodable
encodable
lower_intrinsics