pub fn edge_bound(current_facts: usize) -> usize
The relation-edge bound for a store with current_facts current facts.
current_facts