let
cnstrnt_is_nonpos s = (s =
Sign
.
Nonpos
)