[MODIF] Added proper invocations of __terminate__(), exception catch.