akeBackwardWTO(Checkers.Liveness.PreAnalysisTransferFunctions(Absint.ProcCfg.Backward(Absint.ProcCfg.Exceptional))).TransferFunctions.analysis_data</a>)</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span><span>(string
   * <span><span class="xref-unresolved">UnitTests__AnalyzerTester.StructuredSil.structured_instr</span> <span class="xref-unresolved">Base__List</span>.t</span>)</span>
    list</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">OUnit2</span