Minor tweak in SpecExecScheduler.next() where we will skip anything that has already been executed...