Make strongly connected components in type graph deterministic