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

* commit '7bf9bc7854f5c8ccc2cb2ef4be4f728c5fbd3236':
  Minor improvements to 458-checker-instruction-simplification.