Fix multiple `apply` of magic wands with quantified expressions

[manud99]

In my first PR #836 I didn't fix the apply of magic wands with quantified expressions. In this PR I address this issue and propose a fix for all combinations of magic wands with quantified expression that I could find in silver's test suite. This PR includes:

• Using MagicWandSnapFunctions (MWSF) also for quantified magic wands.
• Analyze and rewrite all path conditions that were created during packaging.

Test suite can be found in PR viperproject/silver#805