spin: checking of ltl claims successful (some tasks may stay suspended but no task stays waiting, i.e. no deadlocks)