- andcnf(++Environment:int, ++A:couple, ++B:couple, --AandB:couple) is semidet
- A and B are couples (Environment, BDDA) and (Environment, BDDB) respectively
Returns in AandB a couple (Environment, BDDAandB) where BDDAandB is pointer to a BDD belonging to environment Environment
representing the conjunction of BDDs BDDA and BDDB.