is_predicate_p?

[Robert Dewar]

<<call, it'll always be
        if (is_foo ())
>>

Yes, and by your same argument if I write

   if (stmt_ends_bb (foo))

it is also pretty obvious that this a predicate

<<No. I now can't tell whether stmt_ends_bb (foo) is commanding that foo
end a statement, or questioning whether foo ends a statment.
>>

I would find stmt_ends_bb a very poor choice of name for the command. I find
it a well chosen name for the predicate. For the command I would use
something like require_end_bb or ensure_end_bb or some such