Edge edge = parentNode.getOutgoingEdges().get(currentNode);
HashMap<Transition, ArrayList<NameValuePair>> setSets = edge.getSetSetMap();
HashSet<String> updatedVarNames = new HashSet<String>();
Edge edge = parentNode.getOutgoingEdges().get(currentNode);
HashMap<Transition, ArrayList<NameValuePair>> setSets = edge.getSetSetMap();
HashSet<String> updatedVarNames = new HashSet<String>();