Fix Arguments in ToSBV
More rewriting, more testcases. Test7 fails at this moment, lacking proper rewriting rules. We should clearly universally quantify stale locals in ToSBV.
Merge branch 'master' of github.com:AardvarkSoup/PV-practicum

Conflicts:
	ToSBV.hs