Update SPA/PKB.h

added new prog line for AST