public virtual void PostWalk(AssertStmt node) { }
// AssertStmt public virtual bool Walk(AssertStmt node) { return(false); }