When verifying a model with out-of-range assigments, any property is reported to be maybe satisfied. However, repeating the verification causes a server exception dialog to be opened in the GUI.
This is because the server prints an error message about the out-of-range assignment, which the GUI does not understand.
Fixed on the trunk from rev. 1741.