pub fn resolve_uint_expr( deps: Deps<'_>, env: Env, expr: GenExpr<NumValue<Uint256, NumExprOp, IntFnOp>, NumOp>, vars: &Vec<Variable>, ) -> Result<bool, ContractError>