This also applies to many functions: do not declare a `fun` that has output parameters in addition. Define it (and use it) at a `proc` with an additional output parameter.
It's too confusing, otherwise. The implementation as well as the usage just doesn't feel right. For example here, where the "result" is:
```Decl = Dcl
Acc
```