- init_ex(++Context:int, --Environment:int) is det
- Initializes an enviroment data structure for storing a BDD.
Context is an integer that is a pointer to a context data structure
created using init_em/1.
Returns an integer Environment that is a pointer to a data structure for
storing a single BDD to be used for the EM algorithm.