if(blockNode != null && nonMappedNodes.contains(blockNode) && mappedNodes.contains(pdgNode)) {
mappedNodes.remove(pdgNode);
nonMappedNodes.add(pdgNode);
}
PDGNode controlParent = pdgNode.getControlDependenceParent();
<BUG>if(controlParent != null && nonMappedNodes.contains(controlParent) && mappedNodes.contains(pdgNode)) {
mappedNodes.remove(pdgNode);</BUG>
nonMappedNodes.add(pdgNode);
}
}

if(blockNode != null && nonMappedNodes.contains(blockNode) && mappedNodes.contains(pdgNode)) {
mappedNodes.remove(pdgNode);
nonMappedNodes.add(pdgNode);
