Refine_Imperative_HOL.NDFS_Benchmark