Fixes and cleanups for SPARK Ada translation.

include/base/SMPDataFlowAnalysis.h

include/base/SMPFunction.h

src/base/SMPDataFlowAnalysis.cpp

src/base/SMPFunction.cpp

src/base/SMPInstr.cpp

src/base/SMPProgram.cpp