fn default_inner_node_capacity() -> usize
Function to get default inner node capacity for the BDD manager