it works!
unignored test
GraphPair refactoring and full impl of initialDiff