getPostCollisionDistribution wrong?

I think that getPostCollisionDistribution in KernelUtilities populates the wrong distributions. It is not used in the code anywhere (except by me in the immediate future). Can someone with more experience in EsoTwist confirm this? (@m.schoenherr ?) If I see it right and someone confirms is, I can fix it