private void dumpVar(int dumpVarIndex) {
		StringBuffer sb = new StringBuffer();
		sb.append("dump(x"+ dumpVarIndex +"): \n");
		for(int i: sitesHasVar(dumpVarIndex).keySet()) {
			Site tmpsite = sitesHasVar(dumpVarIndex).get(i);
			if(tmpsite.isVarWritten(dumpVarIndex)) {
				sb.append("x"+dumpVarIndex+"."+tmpsite.getSid()+" = "+tmpsite.readVariable(dumpVarIndex)+"; \n");
			}			
		}
		sb.append("\n\n");
		System.out.println(sb.toString());	
	}