pub fn run_eval_policy( policy: &Path, problem: &Path, params: Option<&Path>, max_expansions: Option<u64>, timeout_s: Option<f64>, json: bool, _seed: Option<u64>, ) -> Result<(), String>