fn assign_checked_add_base( sum: &SymExpr, base: &SymExpr, model: &mut HashMap<Symbol, U256>, ) -> bool