better pigeonization, ACM-JETC case studies, bug-fix in NOTEQUALS rule