Slicer should now add unique annotated name to identifer used for exception binding in catch block.