Implement `remove-vertices'` for directed weighted graphs