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>)