public virtual bool VisitStmt(Stmt stmt) { return(!AlreadyVisited(stmt)); }
public bool AlreadyVisited(Stmt stmt) { return(!Visited.Add(stmt)); }