public String[] parseCounterExampleWithChangeVariablesFromTrace(PreferenceMetaData pmd) throws FileNotFoundException, IOException {
		
		Set<String> variablesTrueInOutcome = new HashSet<String>();
			BufferedReader reader = new BufferedReader (new FileReader(pmd.getCounterExampleFile()));
			String nextLine;
			try{
			while((nextLine = reader.readLine()) != null) {
				for (String var : pmd.getVariables()) {
					if(nextLine.indexOf(" " + var + " = ") != -1) {
						nextLine = nextLine.trim();
						String varValuation = nextLine.substring(nextLine.length()-1);
						if(varValuation.equalsIgnoreCase("1")) {
							variablesTrueInOutcome.add(var);
						} else if(varValuation.equalsIgnoreCase("0")){
							variablesTrueInOutcome.remove(var);
						}
					}
					
					if(nextLine.indexOf(" ch" + var + " = ") != -1) {
						nextLine = nextLine.trim();
						String varValuation = nextLine.substring(nextLine.length()-1);
						if(varValuation.equalsIgnoreCase("1")) {
							variablesTrueInOutcome.add("ch"+var);
						} else if(varValuation.equalsIgnoreCase("0")){
							variablesTrueInOutcome.remove("ch"+var);
						}
					}			
				}
			}
			}finally{reader.close();}
		return variablesTrueInOutcome.toArray(new String[]{});
	}