Constant propagation after hitting assume(cmp) bugfix