Evaluation as True or False

Dr. Gilles,
 
Is there any function in Ibex, which evaluates constraints on intervals and return True if solution exist in that interval or False if box doesn't contains any solution...? I do not want bunch of solutions I just need to know whether solution exists or not as True or False.
 
Thanks,