Addded (minimal) support for DoubleMust schedules