Add support of BDD & Model, and use of search procedure : TODO / Look todo comment :D