- refactored get_scheduled_goals as preparation for considering scheduled
  not_oks in verdit arbiter
- created tests for nested until with variable time stepping