Trials to solve scc_main_lemma. 1- figured out the base case. 2- discovered a problem in the specification of scc_set