add snippets for ASTS