Simplify edf
- made one assumption for
EDF_implies_sequential_tasksweaker - removed the sequential tasks hypothesis from the
bounded_pifile in EDF RTA - changed the wrong comment accompanying the
respects_policyhypothesis
EDF_implies_sequential_tasks weakerbounded_pi file in EDF RTArespects_policy hypothesis