pub fn ifds_node_count_checked( num_procs: u32, blocks_per_proc: u32, facts_per_proc: u32, ) -> Option<u32>
Checked exploded-supergraph node count.