New BDD features added