let lookup labels param =
try
let is_param p = function (LogicLabel (None, a),_) -> a = p | _ -> false in
c_label (snd (List.find (is_param param) labels))
with Not_found -> Wp_parameters.fatal
"Unbound label parameter '%s' in predicate or function call" param