fn assign_checked_sub_minuend( minuend: &SymExpr, sub_expr: &SymExpr, model: &mut HashMap<Symbol, U256>, ) -> bool