SRA: Total scalarization after access propagation [PR92706]