Updated print function for BDD for now