let
status (a, _) =
Term
.status a