sorry
r₁ r₂ : Region scf
⊢ run (OpM.toTopM [TopM.scoped ∘ denoteRegion scf r₁, TopM.scoped ∘ denoteRegion scf r₂] (OpM.denoteRegion r₁ 0 []))
      (SSAEnv.set (SSAVal.SSAVal "b") MLIRType.i1 1 SSAEnv.empty) =
    run (TopM.scoped (denoteRegion scf r₁ [])) (SSAEnv.set (SSAVal.SSAVal "b") MLIRType.i1 1 SSAEnv.empty)
no goals