Verifier.Debug
val get_tests_for_prog : init_data:SPState.init_data -> prog_t -> proc_tests
val analyse_result : t -> Gillian.Logging.Report_id.t -> SAInterpreter.result_t -> bool