started improving handling of bdd models