An element that is convertible to
ControlFlowNode. This class is similar
ControlFlowNode except that is has no member predicates apart from
This class can be used as base class for classes that want to inherit the
ControlFlowNode without inheriting its public member predicates.