Update SPA/PKB.cpp

added prog line for AST