dfs from infinite loops to T1 and TN