BDD of some simple functionality