See [0092.vpr](https://github.com/viperproject/silver/blob/master/src/test/resources/all/issues/carbon/0092.vpr) - issue #92 does not describe this issue (but is rather about a quantified permissions interaction that seems to be fixed).
See 0092.vpr - issue #92 does not describe this issue (but is rather about a quantified permissions interaction that seems to be fixed).