BDD with POROs