Refactor compilation to treat basic blocks individually.