aggregate precondition in handle_end_event (app_2048)