added test for (TACLE-style) loopbound

PML export of loopbound intrinsic tested through Platin