Add to ASTEmpty in Readme