modificato l'algoritmo di dfs...non ancora funzionante al 100%
SccSeq funzionante...ora si passa alla parte col boundcond