Close #31 : Fix inconsistency in const.get_label with aliases