We do want to allow LoadPRE to perform LICM-like transformations: we already consider...