multi_level bdd_and built