disallow double exception submission (IDEA-129376)
a simple purity contract inference (IDEA-128879)
don't increase the number of unread Event Log notifications on every compilation