public String toString() {return getClass().getSimpleName() + "(fields=" + fields.size() + ",delegate=" + postingsReader + ")";}
public override string ToString(){return "arc=" + arc + " state=" + state;}