Symbol: TrSimpleConstantReduction