Merge "Add missing calls to `RecordSimplification()`."
am: 1d5287ccb5

* commit '1d5287ccb5eade2fcb94e75676d422c498b26139':
  Add missing calls to `RecordSimplification()`.

Change-Id: I391d08e873caffb766715c7f0007b1f3172dded6