gewitternacht

Update to LocationVariable is ignored after pruning

4

## Description Sometimes the simplifyUpdate1/simplifyUpdate2 rules ignore updates, specifically to `LoctionVaribale`s. This seems to be caused by preceding pruning. In my case something like `{ ... || heapBefore_foo:=heap || ......