Field TranslatedExpr::TranslatedAllocationSize::expr