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