fn complete_default_support_constraint( constraint: &SymBoolExpr, model: &mut HashMap<Symbol, U256>, ) -> bool