StateId

constructor(treeId: Int, globalKey: String, index: Int)