fixed NPE in BddCacheHavannah