started to fix the graph to deal with loops. First stage of correctly generating incrementally the loops almost done. Testing for impossible loops will be easy, and then propagating inside a loop isn't difficult either. THe critical resource here is time