More attempts at quantifier pulling
Pushed one more time.
Merge ssh://github.com/jesper-bengtson/MirrorCharge