Added DefReplacementVisitor