instance_destroy constraints