SCC analysis for instances as well as types/classes