Merge "Add synthesize uses at back edge."