let add_prop_loop_inv acc kind s id p = let labels = NormAtLabels.labels_loop_inv s in add_prop acc kind labels id p