add example of checking deadlock caused by initialization