adding ConstantProp.cpp