Node for Statement
class StmtNode is an abstract class. you should use subclasses instead of StmtNode.
for visitor pattern
abstract method. subclass should override this method.
[Validate]