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