Fixed a bug dealing with policy propagation through instruction::replace_with.