ll="none" stroke="#000000" d="M109.048,-41.1191C117.473,-42.3967 126.226,-43.7238 134.771,-45.0195"/>
<polygon fill="#000000" stroke="#000000" points="134.263,-48.4824 144.675,-46.5211 135.313,-41.5615 134.263,-48.4824"/>
</g>
<!-- str -->
<g id="proc~~issupportedstrategy~~CallsGraph_node3" class="node"><title>str</title>
<polygon fill="#777777" stroke="#777777" points="222,-24 168,-24 168,-0 222,-0 222,-24"/>
<text text-anchor="middle" x="195" y="-9.6" font-family="Helvetica,sans-Serif" font-size="10.50" f