Thesis: abstract + intro
Fix fixed var propagation, no vertex for variable negation
Code cleanup, AddToGraph separately for each type