removing Separation Logic demo

- this is now in MirrorCharge