public Report callProbLogicEval_Module(Report report, String parameters, boolean onlyLocalHypotheses,int [] selectedItens ){
	
	
	int countSelected=0;
	int numberOftotalPOs = this.getNumberOfProofObligations();
	

		for (int numberPo = 1; numberPo <= numberOftotalPOs; numberPo++) {
			
			if( countSelected<selectedItens.length && selectedItens[countSelected]==numberPo-1){
				countSelected++;
				String proofObligation;
				if(onlyLocalHypotheses)
					proofObligation = this.getCleanProofObligationsWithLocalHypotheses(numberPo);
				else
					proofObligation = this.getGoalOfCleanExpandedProofObligations(numberPo);
				
				
				if(parameters == null){
					this.callProbLogicEval(true, false, report, numberPo , actualParameters,  proofObligation);
				} else{
					this.callProbLogicEval(true, false, report, numberPo , parameters,  proofObligation);
				}
				
				AutoDismiss.showMessageDialog(null, "Progress "+ countSelected+"/"+selectedItens.length+"\n"
					+"The result is "+this.getResult()+"\n"
					+proofObligation  ,700); 
				
				System.out.println("\nThe result is "+ this.getResult()+" and progress "+ countSelected+"/"+selectedItens.length+"\n");
			}
		}
		
		return report;
	}