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

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