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