Bug Fix in deadlock-Freedom check

“Trying” was wrong. Fixing it broke “DeadlockFree.” “Inv” had to be
changed by adding “Init.”