Added a paragraph explaining which variables/edges we use in nonterminal graphs (WITH COMMENT THAT NEEDS TO BE REMOVED) and made which variables are added in the algorithm more explicit