basic blocks, some dataflow code, rename