Function tighten_domains_from_constraints 

pub fn tighten_domains_from_constraints(model: &mut Model)

Walk the model’s constraints and tighten declaration domains where a fact can be proved.