ExecutionBundle:TestRun : fixed "proposeName(..)", so that it is compatible with extended TestProcedure names