title: Deadlock check vs. out-of-range array lookup Uppaal
body: <p>When I run the <code>A[] not deadlock</code> query in the Verifier on my model, the verification stops with error: </p>
  
  <blockquote>
    <p>The verification was aborted due to an error. Most likely, this is
    caused by an out-of-range assignment or out-of-range array lookup.</p>
  </blockquote>
  
  <p>Does this mean implicitly that my model is deadlock-free until the "out-of-range assignment or out-of-range array lookup" happens?</p>