trying to solve scc_main_lemma_1_2_2OF