Definitions of service for schedule prefixes
We should find a way of defining service and completion that works with both partial and complete schedules. The current definitions do not allow using service in definitions that depend on history (concrete scheduler, least-laxity-first policy, etc).