################################################################
# @(#)dead.seq	1.1 - 97/04/30 - Charles Pecheur, INRIA Rhone-Alpes
# Finds any trace to deadlock state.
################################################################

<while> <any>
<deadlock>