testAST does typecheck the source file before starting the ifdeftoif transformation process