The B Console no longer? seems to print solutions for existentially quantified predicates:
I had the impression this did work in the past; but maybe I am wrong.
Here is the output in the probcli -repl
Existentially Quantified Predicate over x is TRUE
x = -7