Shorten paragraph about constant propagation