I really like your way of using `ConstStmtVisitor`, but it will be much cleaner code and easier to understand if the variable names can be reconsidered. Thank you.