Added CuDD/DDDMP BDD reading function to the BFManager