<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<flowfacts>
    <function name="main">
        <control-constraint>
            <le>
                <add>
                    <edge src="BB 1 (000082d8)" dst="BB 3 (000082f0)" />
                    <edge src="BB 5 (000082f4)" dst="BB 6 (000082fc)" />
                </add>
                <const int="1" />
            </le>
        </control-constraint> <!-- [1->3, 5->6] infeasible path -->
    </function>
</flowfacts>