working towards automatically scc-separating the IDB