walk library and index processor working for small examples. inductive checks almost working.
deleted symbolic system (useless old file)
added bad edge set example to debugging. working on getting BadEdgeSet.add() working.