let do_properties env item idps =
    F.p_conj (List.map (fun (_id,p) -> do_prop env item p) idps)