Constant_Propagation plugin