Ddi_Expr_t * Expr_ExprLoad( Ddi_BddMgr * dd, dd manager char * filename, file name FILE * fp file pointer )
void Expr_WriteTree( FILE * fout, Ddi_Expr_t * tnode )