let select_call_pre s_call asked_pre pid =
let take_it, msg = match pid.p_kind with
| PKPre (_, p_stmt, p_prop) ->
if Stmt.equal s_call p_stmt then
let x = match asked_pre with
| None -> true, ""
| Some asked_pre ->
if Property.equal p_prop asked_pre then true, ""
else false, " (stmt ok, but not not the asked pre)"
in x
else false, " (not the asked stmt)"
| _ -> false, " (not a call pre)"
in take_it, msg