public void interpret(CfgNode<?> node,
Cfg g, AssumptionMap<CfgEdge, CopyAssumption> assumptionMap) {
CopyAssumption in = AssumptionUtil.join(g.getInEdges(node), assumptionMap);
final Updater result = new Updater(in);
node.accept(new CfgVisitor() {
@Override
public void visitReadWriteNode(CfgReadWriteNode node) {
JVariable targetVariable = node.getTargetVariable();
if (isSupportedVar(targetVariable)) {
result.kill(targetVariable);