/**
  * Creates a copy of the <code>source</code> flow object, i.e. the locals map, in <code>dest
  * </code>.
  *
  * @param source The locals map that should be copied in the given outgoing map.
  * @param dest The locals map in which the state of the first given locals map should be copied.
  * @see soot.toolkits.scalar.AbstractFlowAnalysis#copy(java.lang.Object, java.lang.Object)
  */
 @Override
 protected void copy(LocalsMap source, LocalsMap dest) {
   dest.clear();
   dest.addAll(source.getExtendedLocals(), source.getProgramCounter());
 }