Ast check example