private void trackBranchOpcode(Map<RuntimeVariable,Set<Integer>> trackedMap,RuntimeVariable v,int branch_id){
  if (!trackedMap.containsKey(v))   trackedMap.put(v,new HashSet<Integer>());
  Set<Integer> branchSet=trackedMap.get(v);
  branchSet.add(branch_id);
  trackedMap.put(v,branchSet);
}

private void trackBranchOpcode ( Map < RuntimeVariable , Set < Integer > > trackedMap , RuntimeVariable v , int branch_id ) { if ( ! trackedMap . containsKey ( v ) ) trackedMap . put ( v , new HashSet < Integer > ( ) ) ; Set < Integer > branchSet = trackedMap . get ( v ) ; branchSet . add ( branch_id ) ; trackedMap . put ( v , branchSet ) ; }
track reach / coverage of branch based on it ' s underlying opcode during execution
