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