const INNER_NODE_CAPACITY: usize = _; // 1_048_576usize
Maximum number of nodes in the BDD manager Exceeding this limit will cause the manager to panic