check_statement_reachable
check_statement_reachable("empty");
check_statement_reachable(
void check_statement_reachable(const char *);
check_statement_reachable("goto");
check_statement_reachable("break");
check_statement_reachable("continue");
check_statement_reachable("return");
check_statement_reachable(stmt_kind);