Simplify a return expression and an access to an alloca's allocated type