public String toString() {return "SkipWorkTree(" + treeIdx + ")";}

public String toString ( ) { return "SkipWorkTree(" + treeIdx + ")" ; }
public override string ToString(){return "SkipWorkTree(" + treeIdx + ")";}
