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