This is something I've also been wondering, as kEqn looks a lot like epsilon expression plugged back into tke.. in the numerical implementation sense I could see there's no linear fluctuation term in RANS implementation of Reff, while those terms wont disappear in LES, so we will need to account for one uu, and one Uu interaction.