THREADS_SUBGOAL_COMPLETION_WAIT-> end