clean up for dfs and is_spanning_tree check method; added simple unit tests
implementation for line preocessing on connected components; not yet runnable
ids for connected components; test case runs but results in not correctly
separating
test case now works
integration of line processing based on connected components separation;
excluded sqrt(n) upper bound constraints. so it always has a feasible solution