Improved preconditions

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

source/Heaps.Mod

@@ -942,6 +942,8 @@ END Candidate;
 PROCEDURE RegisterCandidates*(adr: ADDRESS; size: SIZE);
 VAR end, p: ADDRESS;
 BEGIN
+	ASSERT (adr MOD AddressSize = 0);
+	ASSERT (size MOD AddressSize = 0);
 	(* current processor must hold Heaps lock *)
 	end := adr + size;
 	WHILE adr # end DO