if (cmp != 0)
if (false && cmp != 0)
	public int compareTo(Location other) {		int cmp = basicBlock.getId() - other.basicBlock.getId();		if (cmp != 0)			return cmp;		return handle.getPosition() - other.handle.getPosition();	}