StartClauseMAnager: bdd insertion of clauses
more on bdd commands