Yellow script on grey background is very difficult to read. The readability will
be improved if a darker flavour of yellow/orange is chosen for reporting
"Property is maybe satisfied" as an answer to a query using under approximation.
The readability of the current yellow varies among different displays. To make
the reproduction of this answer easier please look at the attached system. To
get the yellow answer please turn on "Under Approximation" from "State Space
Created attachment 15 [details]
Tiny example for getting "property may be satisfied" answer when using under approximation
I have adjusted the background color of the status list (to white) and also made
the yellow color darker. I hope this fixes the problem.
Forgot to close the bug.