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