Add new hash for storing BDDs