ISOGAI Takaaki / cnf2bdd