return System.identityHashCode(method) + basicBlock.getId() + System.identityHashCode(handle);
return System.identityHashCode(method) ^ basicBlock.getId() ^ System.identityHashCode(handle);
	public int hashCode() {		return System.identityHashCode(method) + basicBlock.getId() + System.identityHashCode(handle);	}