Fixed CAS in non-cooperative case

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

source/FoxIntermediateBackend.Mod

@@ -9522,7 +9522,7 @@ TYPE
 			|Global.All: HALT(200);
 			(* ---- CAS ----- *)
 			|Global.Cas:
-				needsTrace := p0.NeedsTrace();
+				needsTrace := backend.cooperative & p0.NeedsTrace();
 				IF needsTrace THEN ModifyAssignments(true) END;
 				Designate(p0,s0);
 				Evaluate(p1,s1);