This change by itself is NFC. It does currently not matter in what order "not a conflict" checks are performed.
This change is in preparation of adding additional functionality for value privatization. Such privatization will be performed as part of isNotConflicting. It is important that this check is performed last, so that we do not introduce unnecessary value privatizations (when a different check can already rule out a RaW conflict).
Depends On D135049