Fixed small memory leak when loading BDDs from disk