Continue building infrastructure to propagate memory DEFs until indirect writes create possible alias problems.
