Fixed some cheats in SCCMainGra... TODO: Fix scc_main_lemma_1_6_2-4 and scc_main_lemma_1_1* that has to do with Well_foundness of the lifted dependency