Robust/src/Tests/OwnershipAnalysisTest/test01/MAKESURETOTESTTHIS

   1 Make sure to test that an initial parameter has a special reflexive edge, but if you
   2 actually remake that edge during the method analysis, it becomes a regular edge and
   3 then will get picked up by the method call resolution!