Function analyzer 

pub fn analyzer<'a>(config: &'a Config, state: &'a mut State) -> impl 'a + Pass