Implementing allocation site analysis as non-distributive