Print state object-id in to_dot