fixed bug in reverse overlap elimination - added pretty printing for diff sets in tests