Speculatively alias variable assignment with previous readers