public String[] parseCounterExampleFromTrace(PreferenceMetaData pmd, boolean firstStateOnly) throws FileNotFoundException, IOException {
		
		Set<String> variablesTrueInOutcome = new HashSet<String>();
		
		BufferedReader reader = new BufferedReader (new FileReader(pmd.getCounterExampleFile()));
		try{
		String nextLine;
		int counter=0;
		while((nextLine = reader.readLine()) != null) {
			if (!nextLine.startsWith("--")) {
				for (String var : pmd.getVariables()) {
					if(nextLine.indexOf(" " + var + " = ") != -1) {
						counter++;
						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(firstStateOnly && (counter >= pmd.getVariables().length)) {
					break;
				}
			}
		}
		}finally{reader.close();}
		
		return variablesTrueInOutcome.toArray(new String[]{});
	}