Fix PR2032. Inform the alias analysis of changes to the underlying program.