Consistency check (not finished, just for rollback)
Consistency. Proper negated graph.
Graph properly constructed (real side vs negated side).

Consistency checks.
Merge branch 'master' of https://github.com/webrokeit/DTU