am f456ce1d: Merge "Remove warning when we do too many simplifications"

* commit 'f456ce1d602044e96deef30297b16bfb44f6663a':
  Remove warning when we do too many simplifications