Added example to bdd representation