Constant MAX_FACTS 

pub const MAX_FACTS: usize = 12;

Facts considered, starting with non-negative Vars, after filtering to those sharing a variable with the goal. Cmp::Eq constraints generate two facts.