[mlir] Add enclosingOpOk parameter to properlyDominates

[springerm]

I have a use case for this in D111929.

mlir/include/mlir/IR/Dominance.h

public:
   using super::super;
 
   /// Return true if operation A properly dominates operation B, i.e. if A and B
   /// are in the same block and A properly dominates B within the block, or if
   /// the block that contains A properly dominates the block that contains B. In
   /// an SSACFG region, Operation A dominates Operation B in the same block if A
   /// preceeds B. In a Graph region, all operations in a block dominate all
   /// other operations in the same block.
-  bool properlyDominates(Operation *a, Operation *b) const {
-    return properlyDominatesImpl(a, b, /*enclosingOpOk=*/true);
+  ///
+  /// The `enclosingOpOk` flag says whether we should return true if the B op
+  /// is enclosed by a region on A.
+  bool properlyDominates(Operation *a, Operation *b,
+                         bool enclosingOpOk = true) const {
+    return properlyDominatesImpl(a, b, enclosingOpOk);
   }
 
   /// Return true if operation A dominates operation B, i.e. if A and B are the
   /// same operation or A properly dominates B.
   bool dominates(Operation *a, Operation *b) const {
     return a == b || properlyDominates(a, b);
   }