Disable precice GC when using simple meta data

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8415 8c9fc860-2736-0410-a75d-ab315db34111

source/FoxIntermediateBackend.Mod

@@ -14051,6 +14051,7 @@ TYPE
 			trackLeave := options.GetFlag("trackLeave");
 			writeBarriers := options.GetFlag("writeBarriers");
 			experiment := options.GetFlag("experiment");
+			IF simpleMetaData THEN preciseGC := FALSE END;
 		END GetOptions;
 
 		PROCEDURE DefaultSymbolFileFormat*(): Formats.SymbolFileFormat;