this.writeToKill = writeToKill;
}
@Override
public CfgTransformer getGraphTransformer() {
return new CfgTransformer() {
@Override
public boolean transform(CfgNode<?> node, Cfg cfgGraph) {
JModVisitor visitor = new JModVisitor() {
@Override
public void endVisit(JBinaryOperation x, Context ctx) {