pub fn create_state_machine<'a>( test: impl Into<TestHandle>, traces: &'a mut TraceMap, source_analysis: &'a HashMap<PathBuf, LineAnalysis>, config: &'a Config, event_log: &'a Option<EventLog>) -> (TestState, Box<dyn StateData + 'a>)
