Reduction starts.
Current diff:
	<a, b>
	<b, a>
Reducer ListDiffDdmin ends.
Current diff:
	<a, b>
	<b, a>
Reduction ends.
Current diff:
	<a, b>
	<b, a>
