US9824419B2 - Automatically Enabling a Read-Only Cache in a Language in Which Two Arrays in Two Different Variables May Alias Each Other