Member predicate Block::Block::isEmpty

Holds if the block has no statements.

For example, the block

{ }

is empty, as is the block

{
  // a comment
}
predicate isEmpty()