- fix: paramters for evaluate_formula
- updated format for print_scheduled_goals
- fix: arity of sg() in schedule
- using EndTime for whole evaluation chain starting from evaluation_step
- fix: using EndTime from call rather than from schedule