(WeakSucc) added the possiblility to P (-tau->)* Q only if the sequence of tau actions in of importance(leading to deadlock).