public class IfThenNode extends StatementTree {
    ExpressionTree cond; StatementTree body; 
    IfThenNode(ExpressionTree _cond, StatementTree _body) {
	cond = _cond; body = _body;
    }
    public void Accept(StatementTreeVisitor v) {
	v.visitIfThenNode(cond, body);
    }
}