That makes sense, and I think you’re probably right about that. If the BIAB part isn’t a literal performance by one specific player, then crediting an individual musician would be inaccurate anyway. I can also see how that could open up a whole can of worms legally if people misinterpret what that credit means.
I’m not really talking about formal credits though. I’m just thinking about casual conversation on places like SoundCloud. If someone assumes I personally played a part that I didn’t, I sometimes feel a little weird letting that stand, so I might just say I used a tool. Not naming any individual players.
I think we’re basically on the same page.