Semantics modeling: Undefined Behavior and Side Effects

Hi - I think this is related to some soundness issues in tensor.dim and memref.dim - I started a topic on that here (before I saw this) and I’d like to get your take on the solution proposed.