In the Typed Smalltalk (TS) compiler, instances of the FlowNode class, representing a basic block, were containers of a sequence of straight line code (assignments) ending with a statement that alters the flow of control.