let prepare_var_pos config s ca inv =
  let id = mk_var_pos_id config.kf s ca in
  let labels = NormAtLabels.labels_loop_inv s in
    (labels, id, inv)