Work on issue #112.

If two conflicting records had the same number of override form IDs,
their order was dependent on the order in which they were in the graph,
which is undefined, so I added a lexicographical comparison to resolve
that.

Testers reported that it didn't fix the issue though.