Push in BDD with pointer category