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