Function log_check 

fn log_check<T: Transport, C: Clock>(engine: &Engine<T, C>) -> Check