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