Added a few more global variables the reset when resetting SPARK
Added a few more global variables the reset when resetting SPARK

xph906/SootNew,xph906/SootNew,xph906/SootNew,anddann/soot,plast-lab/soot,anddann/soot,plast-lab/soot,cfallin/soot,xph906/SootNew,plast-lab/soot,anddann/soot,cfallin/soot,anddann/soot,mbenz89/soot,mbenz89/soot,cfallin/soot,mbenz89/soot,mbenz89/soot,cfallin/soot