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