Id	2004
Title	SHEET
Tags	principle of compiling graph dfs and similar
Brief solution	表达式左边是一个标识符，右边是一个标识符的列表，左边的标识符向右边的标识符加有向边，问题就是：从某个标识符开始，能否进入一个环。