let
is_neg q _ =
Mpa
.
Q
.is_neg q