Resolved (another incarnation of) bug 231: `perm` expressions were not always evaluated in-place, i.e. in the partially consumed heap, e.g. not if they occurred on the left of an impure implication.
Resolved (another incarnation of) bug 231: `perm` expressions were not always
evaluated in-place, i.e. in the partially consumed heap, e.g. not if they
occurred on the left of an impure implication.

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors