ckers/Liveness/PreAnalysisTransferFunctions/index.html#type-analysis_data">Absint.AbstractInterpreter.MakeBackwardWTO(Checkers.Liveness.PreAnalysisTransferFunctions(Absint.ProcCfg.Backward(Absint.ProcCfg.Exceptional))).TransferFunctions.analysis_data</a>)</span> <span class="arrow">&#45;&gt;</span></span>
   <span>initial:
     <a href="../../../Checkers/Liveness/ExtendedDomain/index.html#type-t">Absint.AbstractInterpreter.MakeBackwardWTO(Checkers.Liveness.PreAnalysisTransferFunctions(Absint.ProcCfg.Backwar