code: @Override
      public OrCompositeTermination createChildThreadTermination(
              DefaultSolverScope solverScope, ChildThreadType childThreadType) {
          return new OrCompositeTermination(createChildThreadTerminationList(solverScope, childThreadType));
      }
docs: ************************************************************************