+ checking for null aAST