switching unused symbols highlighting to ProjectChecked event handler (WIP)