tested ConstantProp using test.ConsPropTest, no change found