Moved the SequenceMatcher ordering step before get_mandatory_bindings.
Sorting SequenceMatcher only makes sense if there are two different operators to sort.
Merge branch 'acmatching-rewrite'