rename check_stmt --> stmt