added SCC library
trying to prove scc_lemma_1_4