let invlookup el pred =
    fst(List.find  (fun (_, b) -> pred b) el)