let do_prop env item p =
    match predicate env p with
      | Warning(source,reason) ->
          Datalib.Collector.add_warning
            ~source ~reason
            "Ignored %s for function call" item ;
          F.p_true
      | Result p -> p