1Test a regression where SsaChecker would fail comparing raw value of IntConstant 2vs FloatConstant due to a static_cast sign extend. 3