Support unordered links properly (step 1: unification algorithm)
Support unordered links properly