dil: removed ForeachRangeStmt, added RangeExpr instead.
ast: added enum State to class Node.
sema: added a module to try a new algorithm of SA.