Preemption model compliance

In this MR, we prove that the ideal uniprocessor schedules that are implemented in prosa.implementation.definitions.ideal_uni_scheduler respect the preemption model.

scripts/wordlist.pws

@@ -62,5 +62,4 @@ superadditive
 subadditivity
 subadditive
 ad
-hoc
-
+hoc
\ No newline at end of file