SourceExtractor.getOriginalSource sometimes passed elements in the wrong order

[slarse]

This happens sometimes when there is a conflict in an unordered collection of elements, and these are then simply passed to getOriginalSource. The easiest solution is to just search for the smallest and largest elements in the input based on their source positions.