let
is_pos q _ =
Mpa
.
Q
.is_pos q