Update SPA/AST.cpp

added prog line