Assert with reason code

I found the assertion opcode to be very useful to prematurely abort execution on failed checks, but how difficult would be to have an opcode like

```
assert i
```

where `i` is an integer representing reason code , that allows client code to identify where the program failed. I know there is a program counter information but that's very error prone for development purposes.

Thanks in advance.