public static String[] getVariablesFromSMVModel(String smvFile) throws IOException {
		Set<String> variables = new HashSet<String>();
		BufferedReader r = FileUtil.openFileForRead(smvFile);
		
		try{
		String nextLine = null;
		
		do {
			nextLine = r.readLine();
		} while (nextLine != null && !nextLine.trim().equalsIgnoreCase("VAR"));
		
		if(nextLine == null) {
			//VAR declaration not present - Error in SMV file
			throw new RuntimeException("No VARS declaration line in SMV file");
		}
		
		do {
			nextLine = r.readLine();
			if(nextLine != null) {
				nextLine = nextLine.trim();
				if(nextLine.contains(":")) {
					String var = nextLine.substring(0,nextLine.indexOf(":")-1).trim();
					if(!var.contains("ch") && ! var.contains("used")) {
						variables.add(var);
					}
				}
			}
		} while (nextLine != null && !nextLine.trim().equalsIgnoreCase("ASSIGN"));
		}finally{r.close();}
		return variables.toArray(new String[]{});
	}