ts__AnalyzerTester.StructuredSil.structured_instr</a> list</span> <span>&#45;&gt;</span> <a href="../../../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <a href="../../../../Backend__Summary/index.html#type-t">Backend__Summary.t</a> * <span><span>(<a href="../../../../UnitTests__AnalyzerTester/StructuredSil/index.html#type-assertion">UnitTests__AnalyzerTester.StructuredSil.assertion</a> * <a href="../../../../UnitTests__AnalyzerTester/StructuredSil/index.html#type-label">UnitTes