Introduced the 'BasicBlock' to build the control flow graph (1st
attempt).