The documentation states that the deadlock state property can only be used with E<> and A, but
with the fix for bug 72 this is no longer true. The documentation should be updated.
Removed lines in documentation stating that the "deadlock" keyword can not be
used with liveness checker.