let select_by_name asked pid =
let p_prop = match pid.p_kind with
| PKPre (_,_,p_prop) -> p_prop
| _ -> property_of_id pid
in
let names = user_prop_names p_prop in
let take_it, msg =
if List.mem asked names
then true, " (asked named prop)"
else false, (match names with [] -> " (no names)"
| name::_ -> (" (asked name <> "^ name^")"))
in take_it, msg