private void finalizeCNFMap(HashMap <Production, Production> map)
	{
		for (Production p : myCNFMap.keySet())
		{
			ArrayList <Production> temp=new ArrayList <Production>();
			for (Production pp : myCNFMap.get(p))
			{
				temp.add(map.get(pp));
			}
			myCNFMap.put(p, temp);
		}
	}