am ee1e8987: Merge "Fix & add Checker assertions in 442-checker-constant-folding."

* commit 'ee1e8987a862b9c1ae1533c04162e42dbf23b964':
  Fix & add Checker assertions in 442-checker-constant-folding.