am 9b096834: am 7bf9bc78: Merge "Minor improvements to 458-checker-instruction-simplification."

* commit '9b096834aed2fbb69ecc07e999bc1f273f1a7017':
  Minor improvements to 458-checker-instruction-simplification.