code: protected List<Termination> createChildThreadTerminationList(DefaultSolverScope solverScope, ChildThreadType childThreadType) {
          List<Termination> childThreadTerminationList = new ArrayList<>(terminationList.size());
          for (Termination termination : terminationList) {
              childThreadTerminationList.add(termination.createChildThreadTermination(solverScope, childThreadType));
          }
          return childThreadTerminationList;
      }
docs: ************************************************************************