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