Termination of ResourceSafetySpec and WyeSpec