SPARK: Translation fixes and DumpDotCFG() enhancements.

include/base/SMPBasicBlock.h

include/base/SMPFunction.h

src/base/SMPBasicBlock.cpp

src/base/SMPFunction.cpp

src/base/SMPInstr.cpp