SLPVectorizer: Use properlyDominates to satisfy the irreflexivity of a strict weak...