When using the DISTINCT workaround, we had to reorder the results
because some instances depended on the breadth-first ordering of
results.

This is not required in all cases so we add an option to skip this so
that we can optimize some queries that are executed very frequently.