Automated SCC analysis for the IDB