Update SPA/AST.h

updated parameters for createAST