Some formatting.
Some bugfixes in basic_block building.