solving scc_lemma_1_4: more scc properties