let pebble_set_at li lab = assert (li.l_profile = []); let labels = List.map (fun x -> (x,lab)) li.l_labels in Logic_const.term (Tapp (li,labels,[])) (Extlib.the li.l_type)