InherVisitor {
(@
  private Set aSet = new HashSet();
  private Set multiInherSet = new HashSet();

  void before (Normal host) {
    Ident anIdent = host.get_vertex().get_vertex_name();
    if(aSet.contains(anIdent)) 
      multiInherSet.add(anIdent);
    else
      aSet.add(anIdent);
  }
    
  public Set getMultiInherSet() {
    return multiInherSet;
  }
@)
}