method
getInstrLabel (i: int) = (
Hashtbl
.find label_table i)