let post_strategy = if !post_strategy <> -1 then !post_strategy else match mode with | "bfs" | "bfsa" -> 1 | "bfsh" | "dfsh" -> 0 | "dfs" | "dfsa" -> 2 | _ -> 1