method
hasLabel (i: int) = (
Hashtbl
.mem label_table i)