Add some safe destruct tactics