- Fixed a bug in the restart function that impeded condact END work properly
- Removed h_restart hook
- Added support for proper names similar to PAWS support
- Fixed a bug in the restore options for stackqueue_lib and sets_lib