Create clear interface for basic blocks and control flow trackers