ConstructVisitor{
(@   
  private HashSet dupSet = new HashSet();
  private HashSet aSet = new HashSet();    
  
  void before (Labeled host) { 
    Ident id = host.get_label_name();
    if(!aSet.contains(id))
      aSet.add(id);
    else
      dupSet.add(id);
  }
  
  void before (Regular host) {
    Ident part = (Ident) Main.cg1.fetch(host, "from Regular to edu.neu.ccs.demeter.Ident");
    Ident partLower = new Ident (part.toString().toLowerCase());
    if(!aSet.contains(partLower))
      aSet.add(partLower);
    else
      dupSet.add(partLower);
  }  

  public HashSet get_dup() {return dupSet;}
@)

}