Function max_u256_expr 

pub(crate) fn max_u256_expr(left: Expr, right: Expr) -> Expr

Implements the max_u256_expr symbolic memory helper.