fn charge_support_constraint( constraint: &SymBoolExpr, remaining_support_visits: &mut usize, ) -> bool