void n_jump_stat::build_status(status& stat, std::ostream& out) { if (left != NULL) left->build_status(stat, out); if (type == "return") stat.add_return(); return; }