allow unnamed basic blocks
ignore emacs artifacts
fix bug with unnamed BasicBlocks
fix broken code