The pass lowers fully to scf (and std where unavoidable).
It includes patterns from the shape to std lowering pass for testing
This change prepares for the lowering of shape.shape_eq to scf.
Depends On D82528
This method doesn't look like it is used in this revision.