BE

BE stands for BlockExit.

It indicates if a statement does transfer control to another block. A block is a sequence of statements enclosed in { }