return rank((LocalVariable) o1) - rank((LocalVariable) o2);
return rank((Variable) o1) - rank((Variable) o2);
			public int compare(Object o1, Object o2) {				return rank((LocalVariable) o1) - rank((LocalVariable) o2);			}