let
cnstrnt_is_empty s = (s =
Sign
.
F
)